diff options
Diffstat (limited to 'src/test/ui/pattern/usefulness/issue-2111.rs')
-rw-r--r-- | src/test/ui/pattern/usefulness/issue-2111.rs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/test/ui/pattern/usefulness/issue-2111.rs b/src/test/ui/pattern/usefulness/issue-2111.rs deleted file mode 100644 index d27beaeff..000000000 --- a/src/test/ui/pattern/usefulness/issue-2111.rs +++ /dev/null @@ -1,11 +0,0 @@ -fn foo(a: Option<usize>, b: Option<usize>) { - match (a, b) { - //~^ ERROR: non-exhaustive patterns: `(None, None)` and `(Some(_), Some(_))` not covered - (Some(a), Some(b)) if a == b => {} - (Some(_), None) | (None, Some(_)) => {} - } -} - -fn main() { - foo(None, None); -} |