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

Merged

bors merged 1 commit intorust-lang:masterfrom

oli-obk:only_local_coherence

Feb 12, 2024

Commits on Feb 9, 2024

A trait's local impls are trivially coherent if there are no impls.
oli-obk
committed