1 error: unsatisfied lifetime constraints
2 --> $DIR/hr-subtype.rs:49:13
4 LL | fn supertype<'x,'y:'x,'z:'y>() {
5 | -- -- lifetime `'y` defined here
7 | lifetime `'x` defined here
8 LL | gimme::<$t1>(None::<$t2>);
9 | ^^^^^^^^^^^^^^^^^^^^^^^^^ argument requires that `'x` must outlive `'y`
11 LL | / check! { free_x_vs_free_y: (fn(&'x u32),
13 | |__________________________________________- in this macro invocation
15 error: aborting due to previous error