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()27 fn main() {}
28