2018-08-08 07:28:26 -05:00
|
|
|
error: unreachable pattern
|
2019-10-15 08:28:42 -05:00
|
|
|
--> $DIR/unreachable-loop-patterns.rs:18:9
|
2018-08-08 07:28:26 -05:00
|
|
|
|
|
2018-11-20 16:49:48 -06:00
|
|
|
LL | for _ in unimplemented!() as Void {}
|
2018-08-08 07:28:26 -05:00
|
|
|
| ^
|
|
|
|
|
|
|
2020-01-22 17:57:38 -06:00
|
|
|
note: the lint level is defined here
|
2019-10-15 08:28:42 -05:00
|
|
|
--> $DIR/unreachable-loop-patterns.rs:5:9
|
2018-08-08 07:28:26 -05:00
|
|
|
|
|
|
|
|
|
LL | #![deny(unreachable_patterns)]
|
|
|
|
|
| ^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
2021-10-25 23:33:12 -05:00
|
|
|
error: aborting due to previous error
|
2018-08-08 07:28:26 -05:00
|
|
|
|
