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

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