src/tools/miri/tests/panic/panic3.rs

fn main() {
    core::panic!("panicking from libcore");
}