Perform DestinationPropagation on places.#147614

cjgillot wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom

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