1 trait Trait<const N: usize> {
5 impl<const N: usize> Trait<N> for () {
6 const Assoc: usize = 1;
10 pub const fn foo<const N: usize>() where (): Trait<N> {
11 let bar = [(); <()>::Assoc];
12 //~^ error: constant expression depends on a generic parameter
15 trait Trait2<const N: usize> {
19 impl<const N: usize> Trait2<N> for () {
20 const Assoc2: usize = N - 1;
24 pub const fn foo2<const N: usize>() where (): Trait2<N> {
25 let bar2 = [(); <()>::Assoc2];
26 //~^ error: constant expression depends on a generic parameter