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