1 error: unsatisfied lifetime constraints
2 --> $DIR/project-fn-ret-invariant.rs:65:4
4 LL | fn transmute<'a,'b>(x: Type<'a>, y: Type<'b>) -> (Type<'a>, Type<'b>) {
5 | -- -- lifetime `'b` defined here
7 | lifetime `'a` defined here
9 LL | (a, b) //[krisskross]~ ERROR E0623
10 | ^^^^^^ function was supposed to return data with lifetime `'b` but it is returning data with lifetime `'a`
12 error: unsatisfied lifetime constraints
13 --> $DIR/project-fn-ret-invariant.rs:65:4
15 LL | fn transmute<'a,'b>(x: Type<'a>, y: Type<'b>) -> (Type<'a>, Type<'b>) {
16 | -- -- lifetime `'b` defined here
18 | lifetime `'a` defined here
20 LL | (a, b) //[krisskross]~ ERROR E0623
21 | ^^^^^^ function was supposed to return data with lifetime `'a` but it is returning data with lifetime `'b`
23 error: aborting due to 2 previous errors