Do not increase depth when evaluating nested goals of NormalizesTo#157718
Merged
rust-bors[bot] merged 1 commit intoJul 1, 2026
Merged
background
wait
wait-all
cancel
parallel
Loading