error: higher-ranked subtype error | |
--> $DIR/hr-subtype.rs:45:13 | |
| | |
LL | gimme::<$t1>(None::<$t2>); | |
| ^^^^^^^^^^^^^^^^^^^^^^^^^ | |
... | |
LL | / check! { bound_a_vs_free_x: (for<'a> fn(&'a u32), | |
LL | | fn(&'x u32)) } | |
| |______________- in this macro invocation | |
| | |
= note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) | |
error: aborting due to previous error | |