src/test/ui/never_type/issue-13352.rs

   1 // ignore-cloudabi no std::process
   2
   3 fn foo(_: Box<dyn FnMut()>) {}
   4
   5 fn main() {
   6     foo(loop {
   7         std::process::exit(0);
   8     });
   9     2_usize + (loop {});
  10     //~^ ERROR E0277
  11 }