src/test/ui/associated-types/associated-types-unconstrained.rs


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

// 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::bar();
    //~^ ERROR E0790
}