blob: bdd9b5ee41151c03091114ddda00866038e201cb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
error: unreachable pattern
--> $DIR/unreachable-loop-patterns.rs:18:9
|
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
|
LL | #![deny(unreachable_patterns)]
| ^^^^^^^^^^^^^^^^^^^^
error: aborting due to 1 previous error
|
