[rustc.git] / src / test / ui / variance / variance-contravariant-self-trait-match.base.stderr

error[E0308]: mismatched types
  --> $DIR/variance-contravariant-self-trait-match.rs:17:5
   |
LL |     impls_get::<&'min G>();
   |     ^^^^^^^^^^^^^^^^^^^^ lifetime mismatch
   |
   = note: expected type `<&'min G as Get>`
              found type `<&'max G as Get>`
note: the lifetime `'min` as defined here...
  --> $DIR/variance-contravariant-self-trait-match.rs:14:21
   |
LL | fn get_min_from_max<'min, 'max, G>()
   |                     ^^^^
note: ...does not necessarily outlive the lifetime `'max` as defined here
  --> $DIR/variance-contravariant-self-trait-match.rs:14:27
   |
LL | fn get_min_from_max<'min, 'max, G>()
   |                           ^^^^

error[E0308]: mismatched types
  --> $DIR/variance-contravariant-self-trait-match.rs:28:5
   |
LL |     impls_get::<&'max G>();
   |     ^^^^^^^^^^^^^^^^^^^^ lifetime mismatch
   |
   = note: expected type `<&'max G as Get>`
              found type `<&'min G as Get>`
note: the lifetime `'min` as defined here...
  --> $DIR/variance-contravariant-self-trait-match.rs:22:21
   |
LL | fn get_max_from_min<'min, 'max, G>()
   |                     ^^^^
note: ...does not necessarily outlive the lifetime `'max` as defined here
  --> $DIR/variance-contravariant-self-trait-match.rs:22:27
   |
LL | fn get_max_from_min<'min, 'max, G>()
   |                           ^^^^

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0308`.
Commit	Line	Data
b7449926	1	error[E0308]: mismatched types
04454e1e	2	--> $DIR/variance-contravariant-self-trait-match.rs:17:5
b7449926	3	\|
532ac7d7	4	LL \| impls_get::<&'min G>();
b7449926 XL	5	\| ^^^^^^^^^^^^^^^^^^^^ lifetime mismatch
b7449926 XL	6	\|
c295e0f8 XL	7	= note: expected type `<&'min G as Get>`
	8	found type `<&'max G as Get>`
	9	note: the lifetime `'min` as defined here...
04454e1e	10	--> $DIR/variance-contravariant-self-trait-match.rs:14:21
b7449926 XL	11	\|
	12	LL \| fn get_min_from_max<'min, 'max, G>()
	13	\| ^^^^
c295e0f8	14	note: ...does not necessarily outlive the lifetime `'max` as defined here
04454e1e	15	--> $DIR/variance-contravariant-self-trait-match.rs:14:27
b7449926 XL	16	\|
	17	LL \| fn get_min_from_max<'min, 'max, G>()
	18	\| ^^^^
	19
	20	error[E0308]: mismatched types
04454e1e	21	--> $DIR/variance-contravariant-self-trait-match.rs:28:5
b7449926	22	\|
532ac7d7	23	LL \| impls_get::<&'max G>();
b7449926 XL	24	\| ^^^^^^^^^^^^^^^^^^^^ lifetime mismatch
b7449926 XL	25	\|
c295e0f8 XL	26	= note: expected type `<&'max G as Get>`
	27	found type `<&'min G as Get>`
	28	note: the lifetime `'min` as defined here...
04454e1e	29	--> $DIR/variance-contravariant-self-trait-match.rs:22:21
b7449926 XL	30	\|
	31	LL \| fn get_max_from_min<'min, 'max, G>()
	32	\| ^^^^
c295e0f8	33	note: ...does not necessarily outlive the lifetime `'max` as defined here
04454e1e	34	--> $DIR/variance-contravariant-self-trait-match.rs:22:27
b7449926 XL	35	\|
	36	LL \| fn get_max_from_min<'min, 'max, G>()
	37	\| ^^^^
	38
	39	error: aborting due to 2 previous errors
	40
	41	For more information about this error, try `rustc --explain E0308`.