Add more coherence tests#65417

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

weiznich:more_coherence_testsweiznich/rust:more_coherence_testsCopy head branch name to clipboard