An associated item constraint was written in an unexpected context. Erroneous code example: ```compile_fail,E0229 pub trait Foo { type A; fn boo(&self) -> ::A; } struct Bar; impl Foo for isize { type A = usize; fn boo(&self) -> usize { 42 } } fn baz(x: &>::A) {} // error: associated item constraint are not allowed here ``` To solve this error, please move the associated item constraints to the type parameter declaration: ``` # struct Bar; # trait Foo { type A; } fn baz>(x: &::A) {} // ok! ``` Or into the where-clause: ``` # struct Bar; # trait Foo { type A; } fn baz(x: &::A) where I: Foo {} ```