Skip to content

Perform DestinationPropagation on places. - #147614

Closed
cjgillot wants to merge 3 commits into
rust-lang:mainfrom
cjgillot:dest-prop-place
Closed

Perform DestinationPropagation on places.#147614
cjgillot wants to merge 3 commits into
rust-lang:mainfrom
cjgillot:dest-prop-place

Consider larger set of bare locals.

6942675
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jun 17, 2026 in 1m 9s