1 error: higher-ranked subtype error
2 --> $DIR/hr-subtype.rs:45:13
4 LL | gimme::<$t1>(None::<$t2>);
5 | ^^^^^^^^^^^^^^^^^^^^^^^^^
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: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
13 error: higher-ranked subtype error
14 --> $DIR/hr-subtype.rs:45:13
16 LL | gimme::<$t1>(None::<$t2>);
17 | ^^^^^^^^^^^^^^^^^^^^^^^^^
19 LL | / check! { bound_inv_a_b_vs_bound_inv_a: (for<'a,'b> fn(Inv<'a>, Inv<'b>),
20 LL | | for<'a> fn(Inv<'a>, Inv<'a>)) }
21 | |__________________________________- in this macro invocation
23 = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
25 error: aborting due to 2 previous errors