src/test/run-fail/if-check-panic.rs

   1 // error-pattern:Number is odd
   2 fn even(x: usize) -> bool {
   3     if x < 2 {
   4         return false;
   5     } else if x == 2 {
   6         return true;
   7     } else {
   8         return even(x - 2);
   9     }
  10 }
  11
  12 fn foo(x: usize) {
  13     if even(x) {
  14         println!("{}", x);
  15     } else {
  16         panic!("Number is odd");
  17     }
  18 }
  19
  20 fn main() {
  21     foo(3);
  22 }