Remove assume intrinsic from EvalContextExt

It has been moved to rustc_mir.

diff --git a/rust-version b/rust-version
index 835708a42baa88d769ec83e8c95f945ff15a0649..362f89b5d1feec0ede6f7d94bcfc15c307a7590e 100644 (file)
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-78a089487b5f6d5e4205ac4500410b442857bced
+1ec980d225fff2346a1a631a7ffc88b37e9e18af

diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index 6051ad482e5196d9a2ee6c3337e51b58e1a68925..b401bd8adaee45da0181b39d8659ba98ee76a622 100644 (file)
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -478,14 +478,6 @@ fn call_intrinsic(
             }
 
             // Other
-            "assume" => {
-                let &[cond] = check_arg_count(args)?;
-                let cond = this.read_scalar(cond)?.check_init()?.to_bool()?;
-                if !cond {
-                    throw_ub_format!("`assume` intrinsic called with `false`");
-                }
-            }
-
             "exact_div" => {
                 let &[num, denom] = check_arg_count(args)?;
                 this.exact_div(this.read_immediate(num)?, this.read_immediate(denom)?, dest)?;