Revert "Auto merge of #115105 - cjgillot:dest-prop-default, r=oli-obk"#125794

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

cjgillot:revert-115105cjgillot/rust:revert-115105Copy head branch name to clipboard