Skip to content

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

Open
ShoyuVanilla wants to merge 1 commit into
rust-lang:mainfrom
ShoyuVanilla:nested-normalizes-to-without-depth-increase
Open

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