Refactor: {Lvalue,Rvalue,Operand}::ty only need the locals' types, not the full &Mir#43174

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

RalfJung:refactor-tyRalfJung/rust:refactor-tyCopy head branch name to clipboard