[rustc.git] / src / test / ui / variance / variance-use-covariant-struct-1.base.stderr

error[E0308]: mismatched types
  --> $DIR/variance-use-covariant-struct-1.rs:14:5
   |
LL |     v
   |     ^ lifetime mismatch
   |
   = note: expected struct `SomeStruct<&'max ()>`
              found struct `SomeStruct<&'min ()>`
note: the lifetime `'min` as defined here...
  --> $DIR/variance-use-covariant-struct-1.rs:10:8
   |
LL | fn foo<'min,'max>(v: SomeStruct<&'min ()>)
   |        ^^^^
note: ...does not necessarily outlive the lifetime `'max` as defined here
  --> $DIR/variance-use-covariant-struct-1.rs:10:13
   |
LL | fn foo<'min,'max>(v: SomeStruct<&'min ()>)
   |             ^^^^

error: aborting due to previous error

For more information about this error, try `rustc --explain E0308`.
Commit	Line	Data
b7449926	1	error[E0308]: mismatched types
04454e1e	2	--> $DIR/variance-use-covariant-struct-1.rs:14:5
b7449926	3	\|
532ac7d7	4	LL \| v
b7449926 XL	5	\| ^ lifetime mismatch
b7449926 XL	6	\|
60c5eb7d XL	7	= note: expected struct `SomeStruct<&'max ()>`
60c5eb7d XL	8	found struct `SomeStruct<&'min ()>`
c295e0f8	9	note: the lifetime `'min` as defined here...
04454e1e	10	--> $DIR/variance-use-covariant-struct-1.rs:10:8
b7449926 XL	11	\|
	12	LL \| fn foo<'min,'max>(v: SomeStruct<&'min ()>)
	13	\| ^^^^
c295e0f8	14	note: ...does not necessarily outlive the lifetime `'max` as defined here
04454e1e	15	--> $DIR/variance-use-covariant-struct-1.rs:10:13
b7449926 XL	16	\|
	17	LL \| fn foo<'min,'max>(v: SomeStruct<&'min ()>)
	18	\| ^^^^
	19
	20	error: aborting due to previous error
	21
	22	For more information about this error, try `rustc --explain E0308`.