| //@ revisions: full min | |
| #![cfg_attr(full, feature(adt_const_params, generic_arg_infer))] | |
| #![cfg_attr(full, allow(incomplete_features))] | |
| fn foo<const N: usize, const A: [u8; N]>() {} | |
| //~^ ERROR the type of const parameters must not | |
| //[min]~| ERROR `[u8; N]` is forbidden as the type of a const generic parameter | |
| fn main() { | |
| foo::<_, { [1] }>(); | |
| //[min]~^ ERROR: type provided when a constant was expected | |
| } |