Skip to content

fix proof tree visitors for type and const placeholders - #154329

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
VicenteGusmao:fix-bug-151304
Aug 11, 2026
Merged

fix proof tree visitors for type and const placeholders#154329
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
VicenteGusmao:fix-bug-151304

Add explanation to regression test

1cf12a5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Aug 10, 2026 in 37s