a few move-checker improvements#36353

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom

arielb1:union-dropsarielb1/rust:union-dropsCopy head branch name to clipboard