[rustc.git] / src / test / ui / hr-subtype / hr-subtype.bound_a_vs_free_x.nll.stderr

error[E0308]: mismatched types
  --> $DIR/hr-subtype.rs:45:13
   |
LL |               gimme::<$t1>(None::<$t2>);
   |               ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
...
LL | / check! { bound_a_vs_free_x: (for<'a> fn(&'a u32),
LL | | fn(&'x u32)) }
   | |______________- in this macro invocation
   |
   = note: expected enum `Option<for<'a> fn(&'a u32)>`
              found enum `Option<fn(&u32)>`
   = note: this error originates in the macro `check` (in Nightly builds, run with -Z macro-backtrace for more info)

error: aborting due to previous error

For more information about this error, try `rustc --explain E0308`.
Commit	Line	Data
94222f64	1	error[E0308]: mismatched types
f035d41b XL	2	--> $DIR/hr-subtype.rs:45:13
	3	\|
	4	LL \| gimme::<$t1>(None::<$t2>);
94222f64	5	\| ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
f035d41b XL	6	...
	7	LL \| / check! { bound_a_vs_free_x: (for<'a> fn(&'a u32),
	8	LL \| \| fn(&'x u32)) }
	9	\| \|______________- in this macro invocation
	10	\|
c295e0f8	11	= note: expected enum `Option<for<'a> fn(&'a u32)>`
94222f64	12	found enum `Option<fn(&u32)>`
17df50a5	13	= note: this error originates in the macro `check` (in Nightly builds, run with -Z macro-backtrace for more info)
f035d41b XL	14
	15	error: aborting due to previous error
	16
94222f64	17	For more information about this error, try `rustc --explain E0308`.