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