Function rustc_hir_analysis::coherence::unsafety::check_item

pub(super) fn check_item(
    tcx: TyCtxt<'_>,
    def_id: LocalDefId,
    trait_header: ImplTraitHeader<'_>,
    trait_def: &TraitDef
) -> Result<(), ErrorGuaranteed>