diff options
Diffstat (limited to 'src')
| -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 |
