Skip to content

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

Open
adwinwhite wants to merge 3 commits into
rust-lang:mainfrom
adwinwhite:skip-trait-goal-if-possible
Open

skip proving the trait goal if possible in NormalizesTo goal#149533
adwinwhite wants to merge 3 commits into
rust-lang:mainfrom
adwinwhite:skip-trait-goal-if-possible

apply review suggestions

7e6a2a6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.