Assert terminator is never executed in ConstProp

RalfJung · RalfJung · commit 9a52543aaebe · 2019-12-02T09:03:16.000+01:00
diff --git a/src/librustc_mir/transform/const_prop.rs b/src/librustc_mir/transform/const_prop.rs
@@ -162,7 +162,7 @@ impl<'mir, 'tcx> interpret::Machine<'mir, 'tcx> for ConstPropMachine {
         _msg: &rustc::mir::interpret::AssertMessage<'tcx>,
         _unwind: Option<rustc::mir::BasicBlock>,
     ) -> InterpResult<'tcx> {
-        throw_unsup_format!("panics are not supported in ConstProp");
+        bug!("panics terminators are not evaluated in ConstProp");
     }
 
     fn ptr_to_int(

Original file line number	Diff line number	Diff line change
`@@ -162,7 +162,7 @@ impl<'mir, 'tcx> interpret::Machine<'mir, 'tcx> for ConstPropMachine {`
`162`	`162`	`_msg: &rustc::mir::interpret::AssertMessage<'tcx>,`
`163`	`163`	`_unwind: Option<rustc::mir::BasicBlock>,`
`164`	`164`	`) -> InterpResult<'tcx> {`
`165`		`- throw_unsup_format!("panics are not supported in ConstProp");`
	`165`	`+ bug!("panics terminators are not evaluated in ConstProp");`
`166`	`166`	`}`
`167`	`167`
`168`	`168`	`fn ptr_to_int(`