2017-02-04 22:59:39 -07:00
|
|
|
#![allow(dead_code)]
|
2018-07-28 17:34:52 +02:00
|
|
|
#![warn(clippy::empty_enum)]
|
2021-01-15 10:56:44 +01:00
|
|
|
// Enable never type to test empty enum lint
|
|
|
|
#![feature(never_type)]
|
2017-02-08 14:58:07 +01:00
|
|
|
enum Empty {}
|
2023-08-24 21:32:12 +02:00
|
|
|
//~^ ERROR: enum with no variants
|
2017-02-08 14:58:07 +01:00
|
|
|
|
2018-12-09 23:26:16 +01:00
|
|
|
fn main() {}
|