Refactor s.t. TypeRelation implementors in `infer` don't escape InferCtxt#32567

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

soltanmm:clean-upsoltanmm/rust:clean-upCopy head branch name to clipboard