| // Test related to #22779, but where the `'a:'b` relation | |
| // appears in the trait too. No error here. | |
| // build-pass (FIXME(62277): could be check-pass?) | |
| trait Tr<'a, T> { | |
| fn renew<'b: 'a>(self) -> &'b mut [T] where 'a: 'b; | |
| } | |
| impl<'a, T> Tr<'a, T> for &'a mut [T] { | |
| fn renew<'b: 'a>(self) -> &'b mut [T] where 'a: 'b { | |
| &mut self[..] | |
| } | |
| } | |
| fn main() { } |