blob: ce2d7140b074e2617e4913dc5fdf19e805362363 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
//@ run-fail
//@ error-pattern:diverging_fn called
//@ needs-subprocess
fn diverging_fn() -> ! {
panic!("diverging_fn called")
}
fn mir() {
diverging_fn();
}
fn main() {
mir();
}
|