[rustc.git] / src / test / run-pass / guards-not-exhaustive.rs

// Copyright 2014 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.


#[derive(Copy, Clone)]
enum Q { R(Option<usize>) }

fn xyzzy(q: Q) -> usize {
    match q {
        Q::R(S) if S.is_some() => { 0 }
        _ => 1
    }
}


pub fn main() {
    assert_eq!(xyzzy(Q::R(Some(5))), 0);
}
Commit	Line	Data
1a4d82fc JJ	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
223e47cc	11
c34b1796 AL	12	#[derive(Copy, Clone)]
	13	enum Q { R(Option<usize>) }
	14
	15	fn xyzzy(q: Q) -> usize {
223e47cc	16	match q {
1a4d82fc	17	Q::R(S) if S.is_some() => { 0 }
223e47cc LB	18	_ => 1
	19	}
	20	}
	21
	22
	23	pub fn main() {
1a4d82fc	24	assert_eq!(xyzzy(Q::R(Some(5))), 0);
223e47cc	25	}