diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2020-12-02 20:24:20 +0000 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2021-01-12 19:59:10 +0000 |
| commit | 622bfdb2fdfc3da9ca2959b5e9ae686b1c9ed249 (patch) | |
| tree | bb93d8ac099d3c8938a29e695f546c6af5f1aa56 /src/test/ui/pattern/usefulness/integer-ranges | |
| parent | 497c9a256b1c2961e91565ccc6e0dd3a87a031ed (diff) | |
| download | rust-622bfdb2fdfc3da9ca2959b5e9ae686b1c9ed249.tar.gz rust-622bfdb2fdfc3da9ca2959b5e9ae686b1c9ed249.zip | |
Deduplicate some tests using revisions
Diffstat (limited to 'src/test/ui/pattern/usefulness/integer-ranges')
| -rw-r--r-- | src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-deny.rs | 48 | ||||
| -rw-r--r-- | src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int.allow.stderr (renamed from src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-allow.stderr) | 2 | ||||
| -rw-r--r-- | src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int.deny.stderr (renamed from src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-deny.stderr) | 24 | ||||
| -rw-r--r-- | src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int.rs (renamed from src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-allow.rs) | 14 |
4 files changed, 26 insertions, 62 deletions
diff --git a/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-deny.rs b/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-deny.rs deleted file mode 100644 index 9292f22e09e..00000000000 --- a/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-deny.rs +++ /dev/null @@ -1,48 +0,0 @@ -#![feature(exclusive_range_pattern)] - -macro_rules! m { - ($s:expr, $($t:tt)+) => { - match $s { $($t)+ => {} } - } -} - -fn main() { - match 0usize { - //~^ ERROR non-exhaustive patterns - 0 ..= usize::MAX => {} - } - - match 0isize { - //~^ ERROR non-exhaustive patterns - isize::MIN ..= isize::MAX => {} - } - - m!(0usize, 0..=usize::MAX); - //~^ ERROR non-exhaustive patterns - m!(0usize, 0..5 | 5..=usize::MAX); - //~^ ERROR non-exhaustive patterns - m!(0usize, 0..usize::MAX | usize::MAX); - //~^ ERROR non-exhaustive patterns - m!((0usize, true), (0..5, true) | (5..=usize::MAX, true) | (0..=usize::MAX, false)); - //~^ ERROR non-exhaustive patterns - - m!(0isize, isize::MIN..=isize::MAX); - //~^ ERROR non-exhaustive patterns - m!(0isize, isize::MIN..5 | 5..=isize::MAX); - //~^ ERROR non-exhaustive patterns - m!(0isize, isize::MIN..isize::MAX | isize::MAX); - //~^ ERROR non-exhaustive patterns - m!((0isize, true), (isize::MIN..5, true) - | (5..=isize::MAX, true) | (isize::MIN..=isize::MAX, false)); - //~^^ ERROR non-exhaustive patterns - - match 0isize { - //~^ ERROR non-exhaustive patterns - isize::MIN ..= -1 => {} - 0 => {} - 1 ..= isize::MAX => {} - } - - match 7usize {} - //~^ ERROR non-exhaustive patterns -} diff --git a/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-allow.stderr b/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int.allow.stderr index 0b3c65166ee..25632934583 100644 --- a/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-allow.stderr +++ b/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int.allow.stderr @@ -1,5 +1,5 @@ error[E0004]: non-exhaustive patterns: type `usize` is non-empty - --> $DIR/pointer-sized-int-allow.rs:36:11 + --> $DIR/pointer-sized-int.rs:48:11 | LL | match 7usize {} | ^^^^^^ diff --git a/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-deny.stderr b/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int.deny.stderr index 9d566b0e775..e8ac9f3cfe1 100644 --- a/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-deny.stderr +++ b/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int.deny.stderr @@ -1,5 +1,5 @@ error[E0004]: non-exhaustive patterns: `_` not covered - --> $DIR/pointer-sized-int-deny.rs:10:11 + --> $DIR/pointer-sized-int.rs:12:11 | LL | match 0usize { | ^^^^^^ pattern `_` not covered @@ -10,7 +10,7 @@ LL | match 0usize { = help: add `#![feature(precise_pointer_size_matching)]` to the crate attributes to enable precise `usize` matching error[E0004]: non-exhaustive patterns: `_` not covered - --> $DIR/pointer-sized-int-deny.rs:15:11 + --> $DIR/pointer-sized-int.rs:17:11 | LL | match 0isize { | ^^^^^^ pattern `_` not covered @@ -21,7 +21,7 @@ LL | match 0isize { = help: add `#![feature(precise_pointer_size_matching)]` to the crate attributes to enable precise `isize` matching error[E0004]: non-exhaustive patterns: `_` not covered - --> $DIR/pointer-sized-int-deny.rs:20:8 + --> $DIR/pointer-sized-int.rs:22:8 | LL | m!(0usize, 0..=usize::MAX); | ^^^^^^ pattern `_` not covered @@ -32,7 +32,7 @@ LL | m!(0usize, 0..=usize::MAX); = help: add `#![feature(precise_pointer_size_matching)]` to the crate attributes to enable precise `usize` matching error[E0004]: non-exhaustive patterns: `_` not covered - --> $DIR/pointer-sized-int-deny.rs:22:8 + --> $DIR/pointer-sized-int.rs:24:8 | LL | m!(0usize, 0..5 | 5..=usize::MAX); | ^^^^^^ pattern `_` not covered @@ -43,7 +43,7 @@ LL | m!(0usize, 0..5 | 5..=usize::MAX); = help: add `#![feature(precise_pointer_size_matching)]` to the crate attributes to enable precise `usize` matching error[E0004]: non-exhaustive patterns: `_` not covered - --> $DIR/pointer-sized-int-deny.rs:24:8 + --> $DIR/pointer-sized-int.rs:26:8 | LL | m!(0usize, 0..usize::MAX | usize::MAX); | ^^^^^^ pattern `_` not covered @@ -54,7 +54,7 @@ LL | m!(0usize, 0..usize::MAX | usize::MAX); = help: add `#![feature(precise_pointer_size_matching)]` to the crate attributes to enable precise `usize` matching error[E0004]: non-exhaustive patterns: `(_, _)` not covered - --> $DIR/pointer-sized-int-deny.rs:26:8 + --> $DIR/pointer-sized-int.rs:28:8 | LL | m!((0usize, true), (0..5, true) | (5..=usize::MAX, true) | (0..=usize::MAX, false)); | ^^^^^^^^^^^^^^ pattern `(_, _)` not covered @@ -63,7 +63,7 @@ LL | m!((0usize, true), (0..5, true) | (5..=usize::MAX, true) | (0..=usize:: = note: the matched value is of type `(usize, bool)` error[E0004]: non-exhaustive patterns: `_` not covered - --> $DIR/pointer-sized-int-deny.rs:29:8 + --> $DIR/pointer-sized-int.rs:31:8 | LL | m!(0isize, isize::MIN..=isize::MAX); | ^^^^^^ pattern `_` not covered @@ -74,7 +74,7 @@ LL | m!(0isize, isize::MIN..=isize::MAX); = help: add `#![feature(precise_pointer_size_matching)]` to the crate attributes to enable precise `isize` matching error[E0004]: non-exhaustive patterns: `_` not covered - --> $DIR/pointer-sized-int-deny.rs:31:8 + --> $DIR/pointer-sized-int.rs:33:8 | LL | m!(0isize, isize::MIN..5 | 5..=isize::MAX); | ^^^^^^ pattern `_` not covered @@ -85,7 +85,7 @@ LL | m!(0isize, isize::MIN..5 | 5..=isize::MAX); = help: add `#![feature(precise_pointer_size_matching)]` to the crate attributes to enable precise `isize` matching error[E0004]: non-exhaustive patterns: `_` not covered - --> $DIR/pointer-sized-int-deny.rs:33:8 + --> $DIR/pointer-sized-int.rs:35:8 | LL | m!(0isize, isize::MIN..isize::MAX | isize::MAX); | ^^^^^^ pattern `_` not covered @@ -96,7 +96,7 @@ LL | m!(0isize, isize::MIN..isize::MAX | isize::MAX); = help: add `#![feature(precise_pointer_size_matching)]` to the crate attributes to enable precise `isize` matching error[E0004]: non-exhaustive patterns: `(_, _)` not covered - --> $DIR/pointer-sized-int-deny.rs:35:8 + --> $DIR/pointer-sized-int.rs:37:8 | LL | m!((0isize, true), (isize::MIN..5, true) | ^^^^^^^^^^^^^^ pattern `(_, _)` not covered @@ -105,7 +105,7 @@ LL | m!((0isize, true), (isize::MIN..5, true) = note: the matched value is of type `(isize, bool)` error[E0004]: non-exhaustive patterns: `_` not covered - --> $DIR/pointer-sized-int-deny.rs:39:11 + --> $DIR/pointer-sized-int.rs:41:11 | LL | match 0isize { | ^^^^^^ pattern `_` not covered @@ -116,7 +116,7 @@ LL | match 0isize { = help: add `#![feature(precise_pointer_size_matching)]` to the crate attributes to enable precise `isize` matching error[E0004]: non-exhaustive patterns: type `usize` is non-empty - --> $DIR/pointer-sized-int-deny.rs:46:11 + --> $DIR/pointer-sized-int.rs:48:11 | LL | match 7usize {} | ^^^^^^ diff --git a/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-allow.rs b/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int.rs index 6173053cc4f..1ed18c26763 100644 --- a/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int-allow.rs +++ b/src/test/ui/pattern/usefulness/integer-ranges/pointer-sized-int.rs @@ -1,5 +1,6 @@ -#![feature(precise_pointer_size_matching)] +// revisions: allow deny #![feature(exclusive_range_pattern)] +#![cfg_attr(allow, feature(precise_pointer_size_matching))] macro_rules! m { ($s:expr, $($t:tt)+) => { @@ -9,25 +10,36 @@ macro_rules! m { fn main() { match 0usize { + //[deny]~^ ERROR non-exhaustive patterns 0 ..= usize::MAX => {} } match 0isize { + //[deny]~^ ERROR non-exhaustive patterns isize::MIN ..= isize::MAX => {} } m!(0usize, 0..=usize::MAX); + //[deny]~^ ERROR non-exhaustive patterns m!(0usize, 0..5 | 5..=usize::MAX); + //[deny]~^ ERROR non-exhaustive patterns m!(0usize, 0..usize::MAX | usize::MAX); + //[deny]~^ ERROR non-exhaustive patterns m!((0usize, true), (0..5, true) | (5..=usize::MAX, true) | (0..=usize::MAX, false)); + //[deny]~^ ERROR non-exhaustive patterns m!(0isize, isize::MIN..=isize::MAX); + //[deny]~^ ERROR non-exhaustive patterns m!(0isize, isize::MIN..5 | 5..=isize::MAX); + //[deny]~^ ERROR non-exhaustive patterns m!(0isize, isize::MIN..isize::MAX | isize::MAX); + //[deny]~^ ERROR non-exhaustive patterns m!((0isize, true), (isize::MIN..5, true) | (5..=isize::MAX, true) | (isize::MIN..=isize::MAX, false)); + //[deny]~^^ ERROR non-exhaustive patterns match 0isize { + //[deny]~^ ERROR non-exhaustive patterns isize::MIN ..= -1 => {} 0 => {} 1 ..= isize::MAX => {} |
