trait Trait {
    const ASSOC: usize;
}

fn bar<const N: usize>() {}

fn foo<T: Trait>() {
    bar::<<T as Trait>::ASSOC>();
    //~^ ERROR: expected associated type, found associated constant `Trait::ASSOC`
    //~| ERROR: unresolved item provided when a constant was expected
}

fn main() {}