Fix coherence checking for impl trait in type aliases#63934

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

Aaron1011:fix/impl-trait-coherenceAaron1011/rust:fix/impl-trait-coherenceCopy head branch name to clipboard