assume MIR types are fully normalized in ascribe_user_type#107197

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

aliemjay:patch-2aliemjay/rust:patch-2Copy head branch name to clipboard