rustup

Author: RalfJung

rust-version

@@ -1 +1 @@
-8ff785011be6625e32afceee3a08e5cff7470feb
+1edd389cc4c7b5be7a3dd4fe4b986f6017018e54

src/stacked_borrows.rs

@@ -194,11 +194,10 @@ impl GlobalState {
 
 /// Error reporting
 fn err_sb_ub(msg: String) -> InterpError<'static> {
-    // FIXME: use `err_machine_stop!` macro, once that exists.
-    InterpError::MachineStop(Box::new(TerminationInfo::ExperimentalUb {
+    err_machine_stop!(TerminationInfo::ExperimentalUb {
         msg,
         url: format!("https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md"),
-    }))
+    })
 }
 
 // # Stacked Borrows Core Begin