use assert

RalfJung · RalfJung · commit d11a6766ad38 · 2018-12-03T10:26:39.000+01:00
diff --git a/src/stacked_borrows.rs b/src/stacked_borrows.rs
@@ -322,9 +322,7 @@ impl<'tcx> Stack {
             }
             return;
         }
-        if self.frozen_since.is_some() {
-            bug!("Trying to create non-frozen reference to frozen location");
-        }
+        assert!(self.frozen_since.is_none(), "Trying to create non-frozen reference to frozen location");
 
         // Push new item to the stack.
         let itm = match bor {

Original file line number	Diff line number	Diff line change
`@@ -322,9 +322,7 @@ impl<'tcx> Stack {`
`322`	`322`	`}`
`323`	`323`	`return;`
`324`	`324`	`}`
`325`		`- if self.frozen_since.is_some() {`
`326`		`- bug!("Trying to create non-frozen reference to frozen location");`
`327`		`- }`
	`325`	`+ assert!(self.frozen_since.is_none(), "Trying to create non-frozen reference to frozen location");`
`328`	`326`
`329`	`327`	`// Push new item to the stack.`
`330`	`328`	`let itm = match bor {`