Make `InferCtxtExt::could_impl_trait` more precise, less ICEy#119934

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

compiler-errors:could-implcompiler-errors/rust:could-implCopy head branch name to clipboard