make sure assertions and debug-assertions also panic (and can be caught)

Author: RalfJung

tests/run-pass/panic/catch_panic.rs

@@ -61,6 +61,10 @@ fn main() {
     test(|_old_val| { let _val = [0, 1, 2][4]; loop {} });
     test(|_old_val| { let _val = 1/0; loop {} });
 
+    // Assertion and debug assertion
+    test(|_old_val| { assert!(false); loop {} });
+    test(|_old_val| { debug_assert!(false); loop {} });
+
     // Cleanup: reset to default hook.
     drop(std::panic::take_hook());
 

tests/run-pass/panic/catch_panic.stderr

@@ -16,4 +16,8 @@ thread 'main' panicked at 'index out of bounds: the len is 3 but the index is 4'
 Caught panic message (String): index out of bounds: the len is 3 but the index is 4
 thread 'main' panicked at 'attempt to divide by zero', $DIR/catch_panic.rs:62:34
 Caught panic message (String): attempt to divide by zero
+thread 'main' panicked at 'assertion failed: false', $DIR/catch_panic.rs:65:23
+Caught panic message (&str): assertion failed: false
+thread 'main' panicked at 'assertion failed: false', $DIR/catch_panic.rs:66:23
+Caught panic message (&str): assertion failed: false
 Success!