Various cleanups to dest prop#105683

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

JakobDegen:dest-prop-storageJakobDegen/rust:dest-prop-storageCopy head branch name to clipboard