AssumptionNotHeld is used only once in Miri and never caught... remove from enum

RalfJung · RalfJung · commit b9d4c759f302 · 2019-08-04T11:59:14.000+02:00
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"),
         }
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -348,8 +348,6 @@ pub enum UndefinedBehaviorInfo {`
`348`	`348`	`UbExperimental(String),`
`349`	`349`	`/// Unreachable code was executed.`
`350`	`350`	`Unreachable,`
`351`		- /// An `assume` was run on a `false` condition,
`352`		`- AssumptionNotHeld,`
`353`	`351`	`}`
`354`	`352`
`355`	`353`	`impl fmt::Debug for UndefinedBehaviorInfo {`
`@@ -360,8 +358,6 @@ impl fmt::Debug for UndefinedBehaviorInfo {`
`360`	`358`	`write!(f, "{}", msg),`
`361`	`359`	`Unreachable =>`
`362`	`360`	`write!(f, "entered unreachable code"),`
`363`		`- AssumptionNotHeld =>`
`364`		- write!(f, "`assume` argument was false"),
`365`	`361`	`}`
`366`	`362`	`}`
`367`	`363`	`}`