diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2020-11-28 21:23:38 +0000 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2020-11-28 21:23:38 +0000 |
| commit | d8983655c1735c302fd0d5784f3413fd9cab89e4 (patch) | |
| tree | 925e191e0fa60c63914a1218528d33d65a54b170 /src/test/ui/pattern | |
| parent | 4ae328bef47dffcbf363e5ae873f419c06a5511d (diff) | |
| download | rust-d8983655c1735c302fd0d5784f3413fd9cab89e4.tar.gz rust-d8983655c1735c302fd0d5784f3413fd9cab89e4.zip | |
Correctly detect `usize`/`isize` range overlaps
Diffstat (limited to 'src/test/ui/pattern')
| -rw-r--r-- | src/test/ui/pattern/usefulness/integer-ranges/reachability.rs | 2 | ||||
| -rw-r--r-- | src/test/ui/pattern/usefulness/integer-ranges/reachability.stderr | 8 |
2 files changed, 8 insertions, 2 deletions
diff --git a/src/test/ui/pattern/usefulness/integer-ranges/reachability.rs b/src/test/ui/pattern/usefulness/integer-ranges/reachability.rs index 9078e65f667..6516925e939 100644 --- a/src/test/ui/pattern/usefulness/integer-ranges/reachability.rs +++ b/src/test/ui/pattern/usefulness/integer-ranges/reachability.rs @@ -72,7 +72,7 @@ fn main() { match 0usize { 0..10 => {}, 10..20 => {}, - 5..15 => {}, // FIXME: should be unreachable + 5..15 => {}, //~ ERROR unreachable pattern _ => {}, } // Chars between '\u{D7FF}' and '\u{E000}' are invalid even though ranges that contain them are diff --git a/src/test/ui/pattern/usefulness/integer-ranges/reachability.stderr b/src/test/ui/pattern/usefulness/integer-ranges/reachability.stderr index 8baf0d50c88..e6878d950d6 100644 --- a/src/test/ui/pattern/usefulness/integer-ranges/reachability.stderr +++ b/src/test/ui/pattern/usefulness/integer-ranges/reachability.stderr @@ -125,6 +125,12 @@ LL | 5..25 => {}, | ^^^^^ error: unreachable pattern + --> $DIR/reachability.rs:75:9 + | +LL | 5..15 => {}, + | ^^^^^ + +error: unreachable pattern --> $DIR/reachability.rs:82:9 | LL | '\u{D7FF}'..='\u{E000}' => {}, @@ -142,5 +148,5 @@ error: unreachable pattern LL | BAR => {} | ^^^ -error: aborting due to 23 previous errors +error: aborting due to 24 previous errors |