about summary refs log tree commit diff
path: root/src/test/compile-fail/precise-refutable-pattern-errors.rs
diff options
context:
space:
mode:
authorJakub Wieczorek <jakub@jakub.cc>2014-05-31 15:13:46 +0200
committerJakub Wieczorek <jakub@jakub.cc>2014-06-20 17:08:57 +0200
commitf5e513b2b2dd173f16b84f0531fc3628d62beb4d (patch)
tree26e7abc4c449cb9887303f77ae009a14ede0b80a /src/test/compile-fail/precise-refutable-pattern-errors.rs
parent6750eb5a05042fe3fb84708909074f33ad86d3ec (diff)
downloadrust-f5e513b2b2dd173f16b84f0531fc3628d62beb4d.tar.gz
rust-f5e513b2b2dd173f16b84f0531fc3628d62beb4d.zip
Check pattern refutability the same way exhaustiveness is checked
Diffstat (limited to 'src/test/compile-fail/precise-refutable-pattern-errors.rs')
-rw-r--r--src/test/compile-fail/precise-refutable-pattern-errors.rs32
1 files changed, 0 insertions, 32 deletions
diff --git a/src/test/compile-fail/precise-refutable-pattern-errors.rs b/src/test/compile-fail/precise-refutable-pattern-errors.rs
deleted file mode 100644
index efa2dbad83f..00000000000
--- a/src/test/compile-fail/precise-refutable-pattern-errors.rs
+++ /dev/null
@@ -1,32 +0,0 @@
-// 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.
-
-
-fn func(
-    (
-        1, //~ ERROR refutable pattern in function argument
-        (
-            Some( //~ ERROR refutable pattern in function argument
-                1), // nested, so no warning.
-            2..3 //~ ERROR refutable pattern in function argument
-            )
-        ): (int, (Option<int>, int))
-        ) {}
-
-fn main() {
-    let (
-        1, //~ ERROR refutable pattern in local binding
-        (
-            Some( //~ ERROR refutable pattern in local binding
-                1), // nested, so no warning.
-            2..3 //~ ERROR refutable pattern in local binding
-            )
-        ) = (1, (None, 2));
-}