diff options
| author | Jakub Wieczorek <jakub@jakub.cc> | 2014-05-31 15:13:46 +0200 |
|---|---|---|
| committer | Jakub Wieczorek <jakub@jakub.cc> | 2014-06-20 17:08:57 +0200 |
| commit | f5e513b2b2dd173f16b84f0531fc3628d62beb4d (patch) | |
| tree | 26e7abc4c449cb9887303f77ae009a14ede0b80a /src/test/compile-fail/precise-refutable-pattern-errors.rs | |
| parent | 6750eb5a05042fe3fb84708909074f33ad86d3ec (diff) | |
| download | rust-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.rs | 32 |
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)); -} |
