Skip to content

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

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
ShoyuVanilla:nested-normalizes-to-without-depth-increase
Jul 1, 2026
Merged

Do not increase depth when evaluating nested goals of NormalizesTo#157718
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
ShoyuVanilla:nested-normalizes-to-without-depth-increase