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