skip proving the trait goal if possible in NormalizesTo goal#149533

adwinwhite wants to merge 3 commits intorust-lang:mainrust-lang/rust:mainfrom

adwinwhite:skip-trait-goal-if-possibleadwinwhite/rust:skip-trait-goal-if-possibleCopy head branch name to clipboard