trait Foo {
    fn bar(&mut self, other: &mut dyn Foo);
}

struct Baz;

impl Foo for Baz {
    fn bar(&mut self, other: &dyn Foo) {}
    //~^ ERROR method `bar` has an incompatible type for trait
    //~| expected fn pointer `fn(&mut Baz, &mut dyn Foo)`
    //~| found fn pointer `fn(&mut Baz, &dyn Foo)`
}

fn main() {}