blob: b2f946288e8ca06566c0b78d96193a7e1d7d7f09 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
//@ [full] check-pass
//@ revisions: full min
#![cfg_attr(full, feature(adt_const_params))]
#![cfg_attr(full, allow(incomplete_features))]
struct Foo<const V: [usize; 0] > {}
//[min]~^ ERROR `[usize; 0]` is forbidden as the type of a const generic parameter
type MyFoo = Foo<{ [] }>;
fn main() {
let _ = Foo::<{ [] }> {};
}
|
