Function 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>