fn convert_impl_item(tcx: TyCtxt<'_>, impl_item_id: ImplItemId)