Function rustc_hir_analysis::coherence::check_object_overlap

source · 
fn check_object_overlap<'tcx>(
    tcx: TyCtxt<'tcx>,
    impl_def_id: LocalDefId,
    trait_ref: TraitRef<'tcx>
) -> Result<(), ErrorGuaranteed>
Expand description

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