src/tools/miri/tests/fail/function_calls/check_arg_count_abort.rs

   1 fn main() {
   2     extern "C" {
   3         fn abort(_: i32) -> !;
   4     }
   5
   6     unsafe {
   7         abort(1);
   8         //~^ ERROR: Undefined Behavior: incorrect number of arguments: got 1, expected 0
   9     }
  10 }