Skip to content

Do not increase depth when evaluating nested goals of NormalizesTo#157718

Draft
ShoyuVanilla wants to merge 9 commits into
rust-lang:mainfrom
ShoyuVanilla:nested-normalizes-to-without-depth-increase
Draft

Do not increase depth when evaluating nested goals of NormalizesTo#157718
ShoyuVanilla wants to merge 9 commits into
rust-lang:mainfrom
ShoyuVanilla:nested-normalizes-to-without-depth-increase

Do not increase depth when evaluating nested goals of normalizes-to

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