From 56ea94dfa36e853ad7bf3b3d94718dc4c30f1596 Mon Sep 17 00:00:00 2001
From: Lzu Tao <taolzu@gmail.com>
Date: Sun, 27 Sep 2020 10:00:06 +0700
Subject: [PATCH] Remove assume intrinsic from EvalContextExt

It has been moved to rustc_mir.
---
 rust-version            | 2 +-
 src/shims/intrinsics.rs | 8 --------
 2 files changed, 1 insertion(+), 9 deletions(-)

diff --git a/rust-version b/rust-version
index 835708a42ba..362f89b5d1f 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-78a089487b5f6d5e4205ac4500410b442857bced
+1ec980d225fff2346a1a631a7ffc88b37e9e18af
diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index 6051ad482e5..b401bd8adae 100644
--- 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)?;
-- 
2.44.0