pub(super) fn check_item(
    tcx: TyCtxt<'_>,
    def_id: LocalDefId,
    trait_ref: TraitRef<'_>
) -> Result<(), ErrorGuaranteed>