rust/tests/ui/traits/matching-lifetimes.rs
2023-01-11 09:32:08 +00:00

20 lines
388 B
Rust

// Tests that the trait matching code takes lifetime parameters into account.
// (Issue #15517.)
struct Foo<'a,'b> {
x: &'a isize,
y: &'b isize,
}
trait Tr : Sized {
fn foo(x: Self) {}
}
impl<'a,'b> Tr for Foo<'a,'b> {
fn foo(x: Foo<'b,'a>) {
//~^ ERROR method not compatible with trait
//~^^ ERROR method not compatible with trait
}
}
fn main(){}