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

http://github.com/jruderman/rust · Rust · 9 lines · 4 code · 2 blank · 3 comment · 0 complexity · 772eeedab8809074fb1c6a2632fc1130 MD5 · raw file 

    

  1. // -*- rust -*-
    2. 

  2. // Tests that a function with a ! annotation always actually fails
    3. 

  3. 

  4. fn bad_bang(i: uint) -> ! {
    5. 

  5.     return 7u;
    6. 

  6.     //~^ ERROR expected `_|_` but found `uint`
    7. 

  7. }
    8. 

  8. 

  9. fn main() { bad_bang(5u); }
    10.