Auto merge of #120834 - oli-obk:only_local_coherence, r=lcnr

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

This avoids creating a dependency edge on the hir or the specialization graph

This may resolve part of the performance issue of rust-lang/rust#120558

Author: bors