fn enforce_empty_impls_for_marker_traits(
    tcx: TyCtxt<'_>,
    impl_def_id: LocalDefId,
    trait_def_id: DefId,
    trait_def: &TraitDef,
) -> Result<(), ErrorGuaranteed>
Expand description

We allow impls of marker traits to overlap, so they can’t override impls as that could make it ambiguous which associated item to use.