2020-04-16 15:50:32 +09:00
|
|
|
// run-fail
|
2015-12-21 18:58:18 +02:00
|
|
|
// error-pattern:diverging_fn called
|
2020-05-08 00:39:02 +09:00
|
|
|
// ignore-emscripten no processes
|
2015-12-21 18:58:18 +02:00
|
|
|
|
|
|
|
fn diverging_fn() -> ! {
|
|
|
|
panic!("diverging_fn called")
|
|
|
|
}
|
|
|
|
|
|
|
|
fn mir() {
|
|
|
|
diverging_fn();
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
mir();
|
|
|
|
}
|