Introduce a T_err type for type errors#4011

catamorphism wants to merge 1 commit intorust-lang:incomingrust-lang/rust:incomingfrom

catamorphism:non-fatal-errorscatamorphism/rust:non-fatal-errorsCopy head branch name to clipboard