blob: ee3dcf9ecec508fa9af1349197dba1f0f86f7ebc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// [full] check-pass
// revisions: full min
#![cfg_attr(full, feature(adt_const_params))]
#![cfg_attr(full, allow(incomplete_features))]
struct Bar<T>(T);
impl<T> Bar<T> {
const fn value() -> usize {
42
}
}
struct Foo<const N: [u8; Bar::<u32>::value()]>;
//[min]~^ ERROR `[u8; _]` is forbidden as the type of a const generic parameter
fn main() {}
|
