Fix next solver handling of shallow trait impl check#138594

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

oli-obk:no-selectoli-obk/rust:no-selectCopy head branch name to clipboard