src/test/ui/pattern/usefulness/issue-2111.rs

   1 fn foo(a: Option<usize>, b: Option<usize>) {
   2   match (a,b) {
   3   //~^ ERROR: non-exhaustive patterns: `(None, None)` not covered
   4     (Some(a), Some(b)) if a == b => { }
   5     (Some(_), None) |
   6     (None, Some(_)) => { }
   7   }
   8 }
   9
  10 fn main() {
  11   foo(None, None);
  12 }