Use `ObligationCtxt` in favor of `TraitEngine` in many more places#124588

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

compiler-errors:ocxcompiler-errors/rust:ocxCopy head branch name to clipboard