1 #![feature(never_type)] 2 3 struct Foo<const N: [u8; 0]>; 4 //~^ ERROR `[u8; 0]` is forbidden 5 6 struct Bar<const N: ()>; 7 //~^ ERROR `()` is forbidden 8 #[derive(PartialEq, Eq)] 9 struct No; 10 11 struct Fez<const N: No>; 12 //~^ ERROR `No` is forbidden 13 14 struct Faz<const N: &'static u8>; 15 //~^ ERROR `&'static u8` is forbidden 16 17 struct Fiz<const N: !>; 18 //~^ ERROR `!` is forbidden 19 20 enum Goo<const N: ()> { A, B } 21 //~^ ERROR `()` is forbidden 22 23 union Boo<const N: ()> { a: () } 24 //~^ ERROR `()` is forbidden 25 26 main()27fn main() {} 28