2017-02-07 14:05:30 -06:00
|
|
|
error: enum with no variants
|
2018-12-09 23:27:19 -06:00
|
|
|
--> $DIR/empty_enum.rs:13:1
|
2018-10-06 11:18:06 -05:00
|
|
|
|
|
2018-12-09 23:27:19 -06:00
|
|
|
13 | enum Empty {}
|
2018-10-06 11:18:06 -05:00
|
|
|
| ^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
|
= note: `-D clippy::empty-enum` implied by `-D warnings`
|
2017-02-07 14:05:30 -06:00
|
|
|
help: consider using the uninhabited type `!` or a wrapper around it
|
2018-12-09 23:27:19 -06:00
|
|
|
--> $DIR/empty_enum.rs:13:1
|
2018-10-06 11:18:06 -05:00
|
|
|
|
|
2018-12-09 23:27:19 -06:00
|
|
|
13 | enum Empty {}
|
2018-10-06 11:18:06 -05:00
|
|
|
| ^^^^^^^^^^^^^
|
2017-02-07 14:05:30 -06:00
|
|
|
|
2018-01-16 10:06:27 -06:00
|
|
|
error: aborting due to previous error
|
|
|
|
|