AssumptionNotHeld is used only once in Miri and never caught... remov…

…e from enum
rust-lang · Aug 4, 2019 · b9d4c75 · b9d4c75
1 parent 18daa76
commit b9d4c75
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/librustc/mir/interpret/error.rs b/src/librustc/mir/interpret/error.rs
@@ -348,8 +348,6 @@ pub enum UndefinedBehaviorInfo {
     UbExperimental(String),
     /// Unreachable code was executed.
     Unreachable,
-    /// An `assume` was run on a `false` condition,
-    AssumptionNotHeld,
 }
 
 impl fmt::Debug for UndefinedBehaviorInfo {
@@ -360,8 +358,6 @@ impl fmt::Debug for UndefinedBehaviorInfo {
                 write!(f, "{}", msg),
             Unreachable =>
                 write!(f, "entered unreachable code"),
-            AssumptionNotHeld =>
-                write!(f, "`assume` argument was false"),
         }
     }
 }