Introduce `TyErr` independent from `TyInfer`#40887

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

estebank:ty-placeholderestebank/rust:ty-placeholderCopy head branch name to clipboard