Function rustc_hir_analysis::coherence::builtin::check_trait

pub(super) fn check_trait<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def_id: DefId,
    impl_def_id: LocalDefId,
    impl_header: ImplTraitHeader<'tcx>
) -> Result<(), ErrorGuaranteed>