fn g() -> ! { fail; }
fn f() -> ! {
    ret 42; //! ERROR expected `_|_` but found `int` (types differ)
    g(); //! WARNING unreachable statement
}
fn main() { }