2017-02-04 22:59:39 -07:00
|
|
|
#![allow(dead_code)]
|
2018-07-28 17:34:52 +02:00
|
|
|
#![warn(clippy::empty_enum)]
|
2020-12-28 20:18:27 +01:00
|
|
|
// Enable never type to test empty enum lint
|
|
|
|
#![feature(never_type)]
|
2017-02-08 14:58:07 +01:00
|
|
|
enum Empty {}
|
|
|
|
|
2018-12-09 23:26:16 +01:00
|
|
|
fn main() {}
|