Turn projections into copies in CopyProp.#107662

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

cjgillot:copy-projectioncjgillot/rust:copy-projectionCopy head branch name to clipboard