//@ check-fail struct Foo {} impl Foo { fn bar(foo: Foo) {} //~^ ERROR associated item constraints are not allowed here } fn main() {}