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

// ignore-cloudabi no std::process

fn foo(_: Box<dyn FnMut()>) {}

fn main() {
    foo(loop {
        std::process::exit(0);
    });
    2_usize + (loop {});
    //~^ ERROR E0277
}