| trait NoLifetime { | |
| fn get<'p, T : Test<'p>>(&self) -> T; | |
| //~^ NOTE lifetimes in impl do not match this method in trait | |
| } | |
| trait Test<'p> { | |
| fn new(buf: &'p mut [u8]) -> Self; | |
| } | |
| struct Foo<'a> { | |
| buf: &'a mut [u8], | |
| } | |
| impl<'a> Test<'a> for Foo<'a> { | |
| fn new(buf: &'a mut [u8]) -> Foo<'a> { | |
| Foo { buf: buf } | |
| } | |
| } | |
| impl<'a> NoLifetime for Foo<'a> { | |
| fn get<'p, T : Test<'a>>(&self) -> T { | |
| //~^ ERROR E0195 | |
| //~| NOTE lifetimes do not match method in trait | |
| return *self as T; | |
| } | |
| } | |
| fn main() {} |