mirror of https://github.com/rust-lang/rust
70 lines
2.9 KiB
Plaintext
70 lines
2.9 KiB
Plaintext
error[E0623]: lifetime mismatch
|
|
--> $DIR/hrlt-implied-trait-bounds-guard.rs:29:29
|
|
|
|
|
LL | fn badboi<'in_, 'out, T>(x: Foo<'in_, 'out, T>, sadness: &'in_ T) -> &'out T {
|
|
| ^^^^^^^^^^^^^^^^^^ -------
|
|
| |
|
|
| this parameter and the return type are declared with different lifetimes...
|
|
| ...but data from `x` is returned here
|
|
|
|
error[E0623]: lifetime mismatch
|
|
--> $DIR/hrlt-implied-trait-bounds-guard.rs:35:30
|
|
|
|
|
LL | fn badboi2<'in_, 'out, T>(x: Foo<'in_, 'out, T>, sadness: &'in_ T) {
|
|
| ^^^^^^^^^^^^^^^^^^
|
|
| |
|
|
| this type is declared with multiple lifetimes...
|
|
| ...but data with one lifetime flows into the other here
|
|
|
|
error[E0623]: lifetime mismatch
|
|
--> $DIR/hrlt-implied-trait-bounds-guard.rs:41:30
|
|
|
|
|
LL | fn badboi3<'in_, 'out, T>(a: Foo<'in_, 'out, (&'in_ T, &'out T)>, sadness: &'in_ T) {
|
|
| ^^^^^^^^^^^^^^^^^-------^^-------^^
|
|
| | |
|
|
| | these two types are declared with different lifetimes...
|
|
| ...but data from `a` flows into `a` here
|
|
|
|
error: lifetime may not live long enough
|
|
--> $DIR/hrlt-implied-trait-bounds-guard.rs:31:5
|
|
|
|
|
LL | fn badboi<'in_, 'out, T>(x: Foo<'in_, 'out, T>, sadness: &'in_ T) -> &'out T {
|
|
| ---- ---- lifetime `'out` defined here
|
|
| |
|
|
| lifetime `'in_` defined here
|
|
LL |
|
|
LL | sadness.cast()
|
|
| ^^^^^^^^^^^^^^ function was supposed to return data with lifetime `'out` but it is returning data with lifetime `'in_`
|
|
|
|
|
= help: consider adding the following bound: `'in_: 'out`
|
|
|
|
error: lifetime may not live long enough
|
|
--> $DIR/hrlt-implied-trait-bounds-guard.rs:37:12
|
|
|
|
|
LL | fn badboi2<'in_, 'out, T>(x: Foo<'in_, 'out, T>, sadness: &'in_ T) {
|
|
| ---- ---- lifetime `'out` defined here
|
|
| |
|
|
| lifetime `'in_` defined here
|
|
LL |
|
|
LL | let _: &'out T = sadness.cast();
|
|
| ^^^^^^^ type annotation requires that `'in_` must outlive `'out`
|
|
|
|
|
= help: consider adding the following bound: `'in_: 'out`
|
|
|
|
error: lifetime may not live long enough
|
|
--> $DIR/hrlt-implied-trait-bounds-guard.rs:43:12
|
|
|
|
|
LL | fn badboi3<'in_, 'out, T>(a: Foo<'in_, 'out, (&'in_ T, &'out T)>, sadness: &'in_ T) {
|
|
| ---- ---- lifetime `'out` defined here
|
|
| |
|
|
| lifetime `'in_` defined here
|
|
LL |
|
|
LL | let _: &'out T = sadness.cast();
|
|
| ^^^^^^^ type annotation requires that `'in_` must outlive `'out`
|
|
|
|
|
= help: consider adding the following bound: `'in_: 'out`
|
|
|
|
error: aborting due to 6 previous errors
|
|
|
|
For more information about this error, try `rustc --explain E0623`.
|