A trait's local impls are trivially coherent if there are no impls.#120834

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

oli-obk:only_local_coherenceoli-obk/rust:only_local_coherenceCopy head branch name to clipboard