Skip to content

Record NormalizesTo goal for proof tree - #162113

Draft
adwinwhite wants to merge 2 commits into
rust-lang:mainfrom
adwinwhite:record-normalizes-to
Draft

Record NormalizesTo goal for proof tree#162113
adwinwhite wants to merge 2 commits into
rust-lang:mainfrom
adwinwhite:record-normalizes-to

inference should be consistent with actual eval

74bf0a8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Sep 1, 2026 in 41s