]>
Commit | Line | Data |
---|---|---|
bd371182 AL |
1 | // Regression test for issue #22779. An extra where clause was |
2 | // permitted on the impl that is not present on the trait. | |
3 | ||
4 | trait Tr<'a, T> { | |
5 | fn renew<'b: 'a>(self) -> &'b mut [T]; | |
6 | } | |
7 | ||
8 | impl<'a, T> Tr<'a, T> for &'a mut [T] { | |
9 | fn renew<'b: 'a>(self) -> &'b mut [T] where 'a: 'b { | |
c30ab7b3 | 10 | //~^ ERROR E0276 |
bd371182 AL |
11 | &mut self[..] |
12 | } | |
13 | } | |
14 | ||
15 | fn main() { } |