3 #![cfg_attr(full, feature(adt_const_params))]
4 #![cfg_attr(full, allow(incomplete_features))]
6 // Currently, const parameters cannot depend on other generic parameters,
7 // as our current implementation can't really support this.
9 // We may want to lift this restriction in the future.
11 pub struct Dependent<const N: usize, const X: [u8; N]>([(); N]);
12 //~^ ERROR: the type of const parameters must not depend on other generic parameters
13 //[min]~^^ ERROR `[u8; _]` is forbidden
15 pub struct SelfDependent<const N: [u8; N]>;
16 //~^ ERROR: the type of const parameters must not depend on other generic parameters
17 //[min]~^^ ERROR `[u8; _]` is forbidden