try to get rid of mir::Const::normalize#130990

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

RalfJung:mir-const-normalizeRalfJung/rust:mir-const-normalizeCopy head branch name to clipboard