tests/ui/associated-types/associated-types-eq-expr-path.rs

// Check that an associated type cannot be bound in an expression path.

trait Foo {
    type A;
    fn bar() -> isize;
}

impl Foo for isize {
    type A = usize;
    fn bar() -> isize {
        42
    }
}

pub fn main() {
    let x: isize = Foo::<A = usize>::bar();
    //~^ ERROR associated item constraints are not allowed here
}