also test built-in panics via should_panic

Author: RalfJung

test-cargo-miri/test.stdout.ref

@@ -5,12 +5,13 @@ test test::rng ... ok
 test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
 
 
-running 5 tests
+running 6 tests
 test do_panic ... ok
 test entropy_rng ... ok
+test fail_index_check ... ok
 test num_cpus ... ok
 test simple1 ... ok
 test simple2 ... ok
 
-test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
+test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
 

test-cargo-miri/test.stdout.ref2

@@ -7,5 +7,5 @@ test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 1 filtered out
 running 1 test
 test simple1 ... ok
 
-test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 4 filtered out
+test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 5 filtered out
 

test-cargo-miri/test.stdout.ref3

@@ -7,5 +7,5 @@ test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 1 filtered out
 running 1 test
 test num_cpus ... ok
 
-test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 4 filtered out
+test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 5 filtered out
 

test-cargo-miri/tests/test.rs

@@ -43,7 +43,7 @@ fn num_cpus() {
 }
 
 
-// FIXME: Remove this `cfg` once we fix https://github.com/rust-lang/miri/issues/1059
+// FIXME: Remove this `cfg` once we fix https://github.com/rust-lang/miri/issues/1059.
 // We cfg-gate the `should_panic` attribute and the `panic!` itself, so that the test
 // stdout does not depend on the platform.
 #[test]
@@ -52,3 +52,12 @@ fn do_panic() { // In large, friendly letters :)
     #[cfg(not(windows))]
     panic!("Explicit panic from test!");
 }
+
+// FIXME: see above
+#[test]
+#[allow(const_err)]
+#[cfg_attr(not(windows), should_panic(expected="the len is 0 but the index is 42"))]
+fn fail_index_check() {
+    #[cfg(not(windows))]
+    [][42]
+}