Function rustc_typeck::coherence::check_object_overlap

pub(in coherence) fn check_object_overlap<'tcx>(
    tcx: TyCtxt<'tcx>, 
    impl_def_id: LocalDefId, 
    trait_ref: TraitRef<'tcx>
)

Checks whether an impl overlaps with the automatic impl Trait for dyn Trait.