small coherence cleanup#74454

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

lcnr:negative-implslcnr/rust:negative-implsCopy head branch name to clipboard