Function rustc_hir_analysis::coherence::builtin::check_trait

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