src/test/compile-fail/issue-2111.rs

   1 // Copyright 2012 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 fn foo(a: Option<usize>, b: Option<usize>) {
  12   match (a,b) {
  13   //~^ ERROR: non-exhaustive patterns: `(None, None)` not covered
  14     (Some(a), Some(b)) if a == b => { }
  15     (Some(_), None) |
  16     (None, Some(_)) => { }
  17   }
  18 }
  19
  20 fn main() {
  21   foo(None, None);
  22 }