// Check that validation rejects terminate terminator in a non-cleanup block. | |
// | |
//@ failure-status: 101 | |
//@ dont-check-compiler-stderr | |
//@ error-pattern: terminate on non-cleanup block | |
#![feature(custom_mir, core_intrinsics)] | |
extern crate core; | |
use core::intrinsics::mir::*; | |
#[custom_mir(dialect = "built")] | |
pub fn main() { | |
mir! { | |
{ | |
UnwindTerminate(ReasonAbi) | |
} | |
} | |
} |