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