fn convert_trait_item(tcx: TyCtxt<'_>, trait_item_id: TraitItemId)