/src/test/compile-fail/bad-bang-ann.rs

1// -*- rust -*-
2// Tests that a function with a ! annotation always actually fails
3
4fn bad_bang(i: uint) -> ! {
5    if i < 0u { } else { fail; }
6    //~^ ERROR expected `_|_` but found `()`
7}
8
9fn main() { bad_bang(5u); }