Introduce TyErr independent from TyInfer
#40887
Merged
TyErr independent from TyInfer
#40887