src/test/run-pass/if-let.rs

   1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 pub fn main() {
  12     let x = Some(3);
  13     if let Some(y) = x {
  14         assert_eq!(y, 3);
  15     } else {
  16         panic!("if-let panicked");
  17     }
  18     let mut worked = false;
  19     if let Some(_) = x {
  20         worked = true;
  21     }
  22     assert!(worked);
  23     let clause: uint;
  24     if let None = Some("test") {
  25         clause = 1;
  26     } else if 4u > 5 {
  27         clause = 2;
  28     } else if let Ok(()) = Err::<(),&'static str>("test") {
  29         clause = 3;
  30     } else {
  31         clause = 4;
  32     }
  33     assert_eq!(clause, 4u);
  34
  35     if 3 > 4 {
  36         panic!("bad math");
  37     } else if let 1 = 2 {
  38         panic!("bad pattern match");
  39     }
  40
  41     enum Foo {
  42         One,
  43         Two(uint),
  44         Three(String, int)
  45     }
  46
  47     let foo = Foo::Three("three".to_string(), 42);
  48     if let Foo::One = foo {
  49         panic!("bad pattern match");
  50     } else if let Foo::Two(_x) = foo {
  51         panic!("bad pattern match");
  52     } else if let Foo::Three(s, _) = foo {
  53         assert_eq!(s, "three");
  54     } else {
  55         panic!("bad else");
  56     }
  57
  58     if false {
  59         panic!("wat");
  60     } else if let a@Foo::Two(_) = Foo::Two(42u) {
  61         if let Foo::Two(b) = a {
  62             assert_eq!(b, 42u);
  63         } else {
  64             panic!("panic in nested if-let");
  65         }
  66     }
  67 }