fn check_trait_item(
    tcx: TyCtxt<'_>,
    trait_item: &TraitItem<'_>
) -> Result<(), ErrorGuaranteed>