//@ check-pass
struct Foo<const N: usize>;
impl<const N: usize> Foo<N> {
const VALUE: usize = N * 2;
}
trait Bar {
const ASSOC: usize;
impl<const N: usize> Bar for Foo<N> {
const ASSOC: usize = N * 3;
fn main() {}