tests/ui/const-generics/assoc_const_as_type_argument.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

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() {}