1 // check-pass
2 struct Foo<const N: usize>;
3 
4 impl<const N: usize> Foo<N> {
5     const VALUE: usize = N * 2;
6 }
7 
8 trait Bar {
9     const ASSOC: usize;
10 }
11 
12 impl<const N: usize> Bar for Foo<N> {
13     const ASSOC: usize = N * 3;
14 }
15 
main()16 fn main() {}
17