2016-10-19 16:17:35 -05:00
|
|
|
error[E0276]: impl has stricter requirements than trait
|
|
|
|
--> $DIR/region-extra-2.rs:19:5
|
|
|
|
|
|
2016-10-23 19:22:06 -05:00
|
|
|
15 | fn renew<'b: 'a>(self) -> &'b mut [T];
|
|
|
|
| -------------------------------------- definition of `renew` from trait
|
2016-10-19 16:17:35 -05:00
|
|
|
...
|
2017-04-14 18:38:10 -05:00
|
|
|
19 | / fn renew<'b: 'a>(self) -> &'b mut [T] where 'a: 'b {
|
2016-10-23 19:22:06 -05:00
|
|
|
20 | | //~^ ERROR E0276
|
|
|
|
21 | | &mut self[..]
|
|
|
|
22 | | }
|
2017-04-14 18:38:10 -05:00
|
|
|
| |_____^ impl has extra requirement `'a: 'b`
|
2016-10-19 16:17:35 -05:00
|
|
|
|
2017-05-22 06:46:05 -05:00
|
|
|
error: aborting due to previous error(s)
|
2016-10-19 16:17:35 -05:00
|
|
|
|