mirror of https://github.com/rust-lang/rust
158 lines
6.9 KiB
Plaintext
158 lines
6.9 KiB
Plaintext
error[E0106]: missing lifetime specifier
|
|
--> $DIR/return-elided-lifetime.rs:6:12
|
|
|
|
|
LL | fn f1() -> &i32 { loop {} }
|
|
| ^ expected named lifetime parameter
|
|
|
|
|
= help: this function's return type contains a borrowed value, but there is no value for it to be borrowed from
|
|
help: consider using the `'static` lifetime, but this is uncommon unless you're returning a borrowed value from a `const` or a `static`
|
|
|
|
|
LL | fn f1() -> &'static i32 { loop {} }
|
|
| +++++++
|
|
help: instead, you are more likely to want to return an owned value
|
|
|
|
|
LL - fn f1() -> &i32 { loop {} }
|
|
LL + fn f1() -> i32 { loop {} }
|
|
|
|
|
|
|
error[E0106]: missing lifetime specifiers
|
|
--> $DIR/return-elided-lifetime.rs:8:14
|
|
|
|
|
LL | fn f1_() -> (&i32, &i32) { loop {} }
|
|
| ^ ^ expected named lifetime parameter
|
|
| |
|
|
| expected named lifetime parameter
|
|
|
|
|
= help: this function's return type contains a borrowed value, but there is no value for it to be borrowed from
|
|
help: consider using the `'static` lifetime, but this is uncommon unless you're returning a borrowed value from a `const` or a `static`
|
|
|
|
|
LL | fn f1_() -> (&'static i32, &'static i32) { loop {} }
|
|
| +++++++ +++++++
|
|
|
|
error[E0106]: missing lifetime specifier
|
|
--> $DIR/return-elided-lifetime.rs:11:26
|
|
|
|
|
LL | fn f2(a: i32, b: i32) -> &i32 { loop {} }
|
|
| ^ expected named lifetime parameter
|
|
|
|
|
= help: this function's return type contains a borrowed value, but there is no value for it to be borrowed from
|
|
help: consider using the `'static` lifetime, but this is uncommon unless you're returning a borrowed value from a `const` or a `static`
|
|
|
|
|
LL | fn f2(a: i32, b: i32) -> &'static i32 { loop {} }
|
|
| +++++++
|
|
help: instead, you are more likely to want to change one of the arguments to be borrowed...
|
|
|
|
|
LL | fn f2(a: &i32, b: &i32) -> &i32 { loop {} }
|
|
| + +
|
|
help: ...or alternatively, you might want to return an owned value
|
|
|
|
|
LL - fn f2(a: i32, b: i32) -> &i32 { loop {} }
|
|
LL + fn f2(a: i32, b: i32) -> i32 { loop {} }
|
|
|
|
|
|
|
error[E0106]: missing lifetime specifiers
|
|
--> $DIR/return-elided-lifetime.rs:13:28
|
|
|
|
|
LL | fn f2_(a: i32, b: i32) -> (&i32, &i32) { loop {} }
|
|
| ^ ^ expected named lifetime parameter
|
|
| |
|
|
| expected named lifetime parameter
|
|
|
|
|
= help: this function's return type contains a borrowed value, but there is no value for it to be borrowed from
|
|
help: consider using the `'static` lifetime, but this is uncommon unless you're returning a borrowed value from a `const` or a `static`
|
|
|
|
|
LL | fn f2_(a: i32, b: i32) -> (&'static i32, &'static i32) { loop {} }
|
|
| +++++++ +++++++
|
|
|
|
error[E0106]: missing lifetime specifier
|
|
--> $DIR/return-elided-lifetime.rs:17:17
|
|
|
|
|
LL | fn f3(s: &S) -> &i32 { loop {} }
|
|
| -- ^ expected named lifetime parameter
|
|
|
|
|
= help: this function's return type contains a borrowed value, but the signature does not say which one of `s`'s 3 lifetimes it is borrowed from
|
|
help: consider introducing a named lifetime parameter
|
|
|
|
|
LL | fn f3<'a>(s: &'a S<'a, 'a>) -> &'a i32 { loop {} }
|
|
| ++++ ++ ++++++++ ++
|
|
|
|
error[E0106]: missing lifetime specifiers
|
|
--> $DIR/return-elided-lifetime.rs:19:26
|
|
|
|
|
LL | fn f3_(s: &S, t: &S) -> (&i32, &i32) { loop {} }
|
|
| -- -- ^ ^ expected named lifetime parameter
|
|
| |
|
|
| expected named lifetime parameter
|
|
|
|
|
= help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from one of `s`'s 3 lifetimes or one of `t`'s 3 lifetimes
|
|
help: consider introducing a named lifetime parameter
|
|
|
|
|
LL | fn f3_<'a>(s: &'a S<'a, 'a>, t: &'a S<'a, 'a>) -> (&'a i32, &'a i32) { loop {} }
|
|
| ++++ ++ ++++++++ ++ ++++++++ ++ ++
|
|
|
|
error[E0106]: missing lifetime specifier
|
|
--> $DIR/return-elided-lifetime.rs:22:42
|
|
|
|
|
LL | fn f4<'a, 'b>(a: &'a i32, b: &'b i32) -> &i32 { loop {} }
|
|
| ------- ------- ^ expected named lifetime parameter
|
|
|
|
|
= help: this function's return type contains a borrowed value with an elided lifetime, but the lifetime cannot be derived from the arguments
|
|
note: these named lifetimes are available to use
|
|
--> $DIR/return-elided-lifetime.rs:22:7
|
|
|
|
|
LL | fn f4<'a, 'b>(a: &'a i32, b: &'b i32) -> &i32 { loop {} }
|
|
| ^^ ^^
|
|
help: consider using one of the available lifetimes here
|
|
|
|
|
LL | fn f4<'a, 'b>(a: &'a i32, b: &'b i32) -> &'lifetime i32 { loop {} }
|
|
| +++++++++
|
|
|
|
error[E0106]: missing lifetime specifiers
|
|
--> $DIR/return-elided-lifetime.rs:24:44
|
|
|
|
|
LL | fn f4_<'a, 'b>(a: &'a i32, b: &'b i32) -> (&i32, &i32) { loop {} }
|
|
| ------- ------- ^ ^ expected named lifetime parameter
|
|
| |
|
|
| expected named lifetime parameter
|
|
|
|
|
= help: this function's return type contains a borrowed value with an elided lifetime, but the lifetime cannot be derived from the arguments
|
|
note: these named lifetimes are available to use
|
|
--> $DIR/return-elided-lifetime.rs:24:8
|
|
|
|
|
LL | fn f4_<'a, 'b>(a: &'a i32, b: &'b i32) -> (&i32, &i32) { loop {} }
|
|
| ^^ ^^
|
|
help: consider using one of the available lifetimes here
|
|
|
|
|
LL | fn f4_<'a, 'b>(a: &'a i32, b: &'b i32) -> (&'lifetime i32, &'lifetime i32) { loop {} }
|
|
| +++++++++ +++++++++
|
|
|
|
error[E0106]: missing lifetime specifier
|
|
--> $DIR/return-elided-lifetime.rs:27:35
|
|
|
|
|
LL | fn f5<'a>(a: &'a i32, b: &i32) -> &i32 { loop {} }
|
|
| ------- ---- ^ expected named lifetime parameter
|
|
|
|
|
= help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `a` or `b`
|
|
help: consider using the `'a` lifetime
|
|
|
|
|
LL | fn f5<'a>(a: &'a i32, b: &i32) -> &'a i32 { loop {} }
|
|
| ++
|
|
|
|
error[E0106]: missing lifetime specifiers
|
|
--> $DIR/return-elided-lifetime.rs:29:37
|
|
|
|
|
LL | fn f5_<'a>(a: &'a i32, b: &i32) -> (&i32, &i32) { loop {} }
|
|
| ------- ---- ^ ^ expected named lifetime parameter
|
|
| |
|
|
| expected named lifetime parameter
|
|
|
|
|
= help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `a` or `b`
|
|
help: consider using the `'a` lifetime
|
|
|
|
|
LL | fn f5_<'a>(a: &'a i32, b: &i32) -> (&'a i32, &'a i32) { loop {} }
|
|
| ++ ++
|
|
|
|
error: aborting due to 10 previous errors
|
|
|
|
For more information about this error, try `rustc --explain E0106`.
|