Discard overflow obligations in `impl_may_apply`#123618

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:overflow-ambigcompiler-errors/rust:overflow-ambigCopy head branch name to clipboard