eb0f4d51df
Detect type parameter that might require lifetime constraint. Do not name `ReVar`s in expected/found output. Reword text suggesting to check the lifetimes.
14 lines
321 B
Rust
14 lines
321 B
Rust
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() {}
|