about summary refs log tree commit diff
path: root/src/test/ui/const-generics/issues/issue-68615-array.rs
blob: 4dbc56b4bd2b646e736518619fb957d5fae71b91 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
// [full] check-pass
// revisions: full min
#![cfg_attr(full, feature(const_param_types))]
#![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::<{ [] }> {};
}