Make blame spans better for impl wfcheck#106785

Merged

bors merged 3 commits intorust-lang:masterfrom

compiler-errors:better-impl-wf-spans

Jan 13, 2023

Commits on Jan 12, 2023

Point at HIR types when impl trait ref doesn't normalize
compiler-errors
committed
Point at impl self type for impl wf obligations
compiler-errors
committed
Only point at impl self ty in WF if trait predicate shares self ty
compiler-errors
committed