[rustc.git] / src / test / ui / nll / relate_tys / hr-fn-aaa-as-aba.stderr

error[E0308]: mismatched types
  --> $DIR/hr-fn-aaa-as-aba.rs:12:58
   |
LL |     let a: for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32 = make_it();
   |                                                          ^^^^^^^^^ one type is more general than the other
   |
   = note: expected fn pointer `for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32`
              found fn pointer `for<'a> fn(&'a u32, &'a u32) -> &'a u32`

error[E0308]: mismatched types
  --> $DIR/hr-fn-aaa-as-aba.rs:20:12
   |
LL |     let _: for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32 = make_it();
   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
   |
   = note: expected fn pointer `for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32`
              found fn pointer `for<'a> fn(&'a u32, &'a u32) -> &'a u32`

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0308`.
Commit	Line	Data
94222f64	1	error[E0308]: mismatched types
923072b8	2	--> $DIR/hr-fn-aaa-as-aba.rs:12:58
8faf50e0 XL	3	\|
8faf50e0 XL	4	LL \| let a: for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32 = make_it();
94222f64 XL	5	\| ^^^^^^^^^ one type is more general than the other
94222f64 XL	6	\|
c295e0f8	7	= note: expected fn pointer `for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32`
94222f64	8	found fn pointer `for<'a> fn(&'a u32, &'a u32) -> &'a u32`
8faf50e0	9
94222f64	10	error[E0308]: mismatched types
923072b8	11	--> $DIR/hr-fn-aaa-as-aba.rs:20:12
b7449926 XL	12	\|
b7449926 XL	13	LL \| let _: for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32 = make_it();
94222f64 XL	14	\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
	15	\|
	16	= note: expected fn pointer `for<'a, 'b> fn(&'a u32, &'b u32) -> &'a u32`
c295e0f8	17	found fn pointer `for<'a> fn(&'a u32, &'a u32) -> &'a u32`
b7449926 XL	18
b7449926 XL	19	error: aborting due to 2 previous errors
8faf50e0	20
94222f64	21	For more information about this error, try `rustc --explain E0308`.