1 error[E0308]: mismatched types
2 --> $DIR/hr-subtype.rs:54:13
4 LL | gimme::<$t1>(None::<$t2>);
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
7 LL | / check! { bound_inv_a_b_vs_bound_inv_a: (for<'a,'b> fn(Inv<'a>, Inv<'b>),
8 LL | | for<'a> fn(Inv<'a>, Inv<'a>)) }
9 | |__________________________________- in this macro invocation
11 = note: expected enum `Option<for<'a, 'b> fn(Inv<'a>, Inv<'b>)>`
12 found enum `Option<for<'a> fn(Inv<'a>, Inv<'a>)>`
13 = note: this error originates in the macro `check` (in Nightly builds, run with -Z macro-backtrace for more info)
15 error[E0308]: mismatched types
16 --> $DIR/hr-subtype.rs:54:13
18 LL | gimme::<$t1>(None::<$t2>);
19 | ^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other
21 LL | / check! { bound_inv_a_b_vs_bound_inv_a: (for<'a,'b> fn(Inv<'a>, Inv<'b>),
22 LL | | for<'a> fn(Inv<'a>, Inv<'a>)) }
23 | |__________________________________- in this macro invocation
25 = note: expected enum `Option<for<'a, 'b> fn(Inv<'a>, Inv<'b>)>`
26 found enum `Option<for<'a> fn(Inv<'a>, Inv<'a>)>`
27 = note: this error originates in the macro `check` (in Nightly builds, run with -Z macro-backtrace for more info)
29 error: aborting due to 2 previous errors
31 For more information about this error, try `rustc --explain E0308`.