From b1c6d3f1fe262cf9ee433d18ac5bb826ab6bb6be Mon Sep 17 00:00:00 2001 From: Mahmut Bulut Date: Mon, 3 Jun 2019 19:39:37 +0300 Subject: [PATCH] Remove promoted intrinsics caller type checking from const context --- src/librustc_mir/transform/qualify_consts.rs | 30 +------------------- 1 file changed, 1 insertion(+), 29 deletions(-) diff --git a/src/librustc_mir/transform/qualify_consts.rs b/src/librustc_mir/transform/qualify_consts.rs index fe94181047fcd..8f83b1a8cce38 100644 --- a/src/librustc_mir/transform/qualify_consts.rs +++ b/src/librustc_mir/transform/qualify_consts.rs @@ -461,35 +461,7 @@ impl Qualif for IsNotPromotable { Abi::RustIntrinsic | Abi::PlatformIntrinsic => { assert!(!cx.tcx.is_const_fn(def_id)); - match &cx.tcx.item_name(def_id).as_str()[..] { - | "size_of" - | "min_align_of" - | "needs_drop" - | "type_id" - | "bswap" - | "bitreverse" - | "ctpop" - | "cttz" - | "cttz_nonzero" - | "ctlz" - | "ctlz_nonzero" - | "overflowing_add" - | "overflowing_sub" - | "overflowing_mul" - | "unchecked_shl" - | "unchecked_shr" - | "rotate_left" - | "rotate_right" - | "add_with_overflow" - | "sub_with_overflow" - | "mul_with_overflow" - | "saturating_add" - | "saturating_sub" - | "transmute" - => return true, - - _ => {} - } + return true } _ => { let is_const_fn =