about summary refs log tree commit diff
path: root/src/test/ui/const-generics/issues/issue-75047.rs
blob: 97437748177e45eb6326235d01beddcec5f4065e (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(const_generics))]
#![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() {}