| error[E0308]: mismatched types |
| --> $DIR/regions-infer-not-param.rs:15:54 |
| | |
| LL | fn take_direct<'a,'b>(p: Direct<'a>) -> Direct<'b> { p } |
| | ^ lifetime mismatch |
| | |
| = note: expected type `Direct<'b>` |
| found type `Direct<'a>` |
| note: the lifetime 'a as defined on the function body at 15:16... |
| --> $DIR/regions-infer-not-param.rs:15:16 |
| | |
| LL | fn take_direct<'a,'b>(p: Direct<'a>) -> Direct<'b> { p } |
| | ^^ |
| note: ...does not necessarily outlive the lifetime 'b as defined on the function body at 15:19 |
| --> $DIR/regions-infer-not-param.rs:15:19 |
| | |
| LL | fn take_direct<'a,'b>(p: Direct<'a>) -> Direct<'b> { p } |
| | ^^ |
| |
| error[E0308]: mismatched types |
| --> $DIR/regions-infer-not-param.rs:19:63 |
| | |
| LL | fn take_indirect2<'a,'b>(p: Indirect2<'a>) -> Indirect2<'b> { p } |
| | ^ lifetime mismatch |
| | |
| = note: expected type `Indirect2<'b>` |
| found type `Indirect2<'a>` |
| note: the lifetime 'a as defined on the function body at 19:19... |
| --> $DIR/regions-infer-not-param.rs:19:19 |
| | |
| LL | fn take_indirect2<'a,'b>(p: Indirect2<'a>) -> Indirect2<'b> { p } |
| | ^^ |
| note: ...does not necessarily outlive the lifetime 'b as defined on the function body at 19:22 |
| --> $DIR/regions-infer-not-param.rs:19:22 |
| | |
| LL | fn take_indirect2<'a,'b>(p: Indirect2<'a>) -> Indirect2<'b> { p } |
| | ^^ |
| |
| error[E0308]: mismatched types |
| --> $DIR/regions-infer-not-param.rs:19:63 |
| | |
| LL | fn take_indirect2<'a,'b>(p: Indirect2<'a>) -> Indirect2<'b> { p } |
| | ^ lifetime mismatch |
| | |
| = note: expected type `Indirect2<'b>` |
| found type `Indirect2<'a>` |
| note: the lifetime 'b as defined on the function body at 19:22... |
| --> $DIR/regions-infer-not-param.rs:19:22 |
| | |
| LL | fn take_indirect2<'a,'b>(p: Indirect2<'a>) -> Indirect2<'b> { p } |
| | ^^ |
| note: ...does not necessarily outlive the lifetime 'a as defined on the function body at 19:19 |
| --> $DIR/regions-infer-not-param.rs:19:19 |
| | |
| LL | fn take_indirect2<'a,'b>(p: Indirect2<'a>) -> Indirect2<'b> { p } |
| | ^^ |
| |
| error: aborting due to 3 previous errors |
| |
| For more information about this error, try `rustc --explain E0308`. |