[Work Item]: check trivial bounds before evaluation for GCA

[BoxyUwU]

[BoxyUwU]

@rustbot assign @zedddie

[rustbot]

Error: assign handler unexpectedly failed in this comment: assignment error

Please file an issue on GitHub at triagebot if there's a problem with this bot, or reach out on #triagebot on Zulip.

[zedddie]

@rustbot claim