erase types in the move-path abstract domain#43512

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

arielb1:untyped-move-pathsarielb1/rust:untyped-move-pathsCopy head branch name to clipboard