diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2024-07-21 14:46:05 +0200 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2024-07-24 08:02:55 +0200 |
| commit | 64ac2b80822c33d69e6e61ea1eaf8a043bc35aad (patch) | |
| tree | b36de43b0fe67b8728eba2eb07095c4dbf4a12ec /tests/ui/reachable | |
| parent | c4d6a4a7e4d8d006f6d08345e91fb1cdf0fc7e7a (diff) | |
| download | rust-64ac2b80822c33d69e6e61ea1eaf8a043bc35aad.tar.gz rust-64ac2b80822c33d69e6e61ea1eaf8a043bc35aad.zip | |
Explain why a given pattern is considered unreachable
Diffstat (limited to 'tests/ui/reachable')
| -rw-r--r-- | tests/ui/reachable/unreachable-arm.stderr | 4 | ||||
| -rw-r--r-- | tests/ui/reachable/unreachable-loop-patterns.stderr | 1 | ||||
| -rw-r--r-- | tests/ui/reachable/unreachable-try-pattern.stderr | 3 |
3 files changed, 7 insertions, 1 deletions
diff --git a/tests/ui/reachable/unreachable-arm.stderr b/tests/ui/reachable/unreachable-arm.stderr index 60db8217640..79627404030 100644 --- a/tests/ui/reachable/unreachable-arm.stderr +++ b/tests/ui/reachable/unreachable-arm.stderr @@ -1,8 +1,10 @@ error: unreachable pattern --> $DIR/unreachable-arm.rs:11:9 | +LL | Foo::B(_) | Foo::A(box _, 1) => { } + | ---------------------------- matches all the values already LL | Foo::A(_, 1) => { } - | ^^^^^^^^^^^^ + | ^^^^^^^^^^^^ unreachable pattern | note: the lint level is defined here --> $DIR/unreachable-arm.rs:4:9 diff --git a/tests/ui/reachable/unreachable-loop-patterns.stderr b/tests/ui/reachable/unreachable-loop-patterns.stderr index 1dea9d813f9..bdd9b5ee411 100644 --- a/tests/ui/reachable/unreachable-loop-patterns.stderr +++ b/tests/ui/reachable/unreachable-loop-patterns.stderr @@ -4,6 +4,7 @@ error: unreachable pattern LL | for _ in unimplemented!() as Void {} | ^ | + = note: this pattern matches no values because `Void` is uninhabited note: the lint level is defined here --> $DIR/unreachable-loop-patterns.rs:5:9 | diff --git a/tests/ui/reachable/unreachable-try-pattern.stderr b/tests/ui/reachable/unreachable-try-pattern.stderr index 8f3e23119fb..bc1a6fffda6 100644 --- a/tests/ui/reachable/unreachable-try-pattern.stderr +++ b/tests/ui/reachable/unreachable-try-pattern.stderr @@ -19,6 +19,7 @@ warning: unreachable pattern LL | let y = (match x { Ok(n) => Ok(n as u32), Err(e) => Err(e) })?; | ^^^^^ | + = note: this pattern matches no values because `!` is uninhabited note: the lint level is defined here --> $DIR/unreachable-try-pattern.rs:4:9 | @@ -30,6 +31,8 @@ warning: unreachable pattern | LL | let y = (match x { Ok(n) => Ok(n), Err(e) => Err(e) })?; | ^^^^^^ + | + = note: this pattern matches no values because `Void` is uninhabited warning: 3 warnings emitted |