fn check_item_type(tcx: TyCtxt<'_>, id: ItemId)