[rustc.git] / src / test / ui / compare-method / proj-outlives-region.stderr

error[E0276]: impl has stricter requirements than trait
  --> $DIR/proj-outlives-region.rs:9:23
   |
LL |     fn foo() where T: 'a;
   |     --------------------- definition of `foo` from trait
...
LL |     fn foo() where U: 'a { }
   |                       ^^ impl has extra requirement `U: 'a`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0276`.
Commit	Line	Data
abe05a73	1	error[E0276]: impl has stricter requirements than trait
3c0e092e	2	--> $DIR/proj-outlives-region.rs:9:23
c30ab7b3	3	\|
0531ce1d	4	LL \| fn foo() where T: 'a;
c30ab7b3 SL	5	\| --------------------- definition of `foo` from trait
c30ab7b3 SL	6	...
532ac7d7	7	LL \| fn foo() where U: 'a { }
3c0e092e	8	\| ^^ impl has extra requirement `U: 'a`
c30ab7b3	9
041b39d2	10	error: aborting due to previous error
c30ab7b3	11
0531ce1d	12	For more information about this error, try `rustc --explain E0276`.