Perform DestinationPropagation on places.#147614

cjgillot wants to merge 3 commits into

rust-lang:mainrust-lang/rust:mainfrom

cjgillot:dest-prop-placecjgillot/rust:dest-prop-placeCopy head branch name to clipboard