blob: 3ef1ad45edfd40855b023159c960e0ba3e9820a5 (
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 Const<const V: [usize; 0]> {}
//[min]~^ ERROR `[usize; 0]` is forbidden as the type of a const generic parameter
type MyConst = Const<{ [] }>;
fn main() {
let _x = Const::<{ [] }> {};
let _y = MyConst {};
}
|
