This is a reproducible simplification of my problem:
struct Val<'a>(&'a str);
impl Val<'_> {
fn get(&self) -> Option<&str> {
Some(self.0)
}
}
// Not used here, but this borrow needs to be mutable
fn test<'a>(param: &'a mut Val<'a>) -> Option<&'a str> {
param.get()
}
fn main() {
let s = String::from("hello");
let mut v = Val(&s);
while let Some(x) = test(&mut v) {
println!("{x}");
}
}
I get:
|
17 | while let Some(x) = test(&mut v) {
| ^^^^^^
| |
| `v` was mutably borrowed here in the previous iteration of the loop
| first borrow used here, in later iteration of loop
For more information about this error, try `rustc --explain E0499`.
First I tried to change the lifetime of the borrow, to indicate that it does not live as long as the original data, like this:
fn test<'a, 'b>(param: &'b mut Val<'a>) -> Option<&'a str> {
param.get()
}
But then I get:
|
9 | fn test<'a, 'b>(param: &'b mut Val<'a>) -> Option<&'a str> {
| -- -- lifetime `'b` defined here
| |
| lifetime `'a` defined here
10 | param.get()
| ^^^^^^^^^^^ function was supposed to return data with lifetime `'a` but it is returning data with lifetime `'b`
|
= help: consider adding the following bound: `'b: 'a`
Adding the suggested bound brings me back to the previous error.
I checked this related question, which suggests this is a limitation of the borrow checker, so I tried changing my code to:
fn main() {
let s = String::from("hello");
let mut v = Val(&s);
loop {
let x = test(&mut v);
if let Some(y) = x {
println!("{y}");
}
}
}
But I get the same first error. In my use case test
behaves more or less like a next
from iterator, so I can't call it two times in the same iteration.
Is there any way to:
- return data with lifetime
'a
instead of'b
infn test
? - or, with the single
'a
lifetime, make the borrow be dropped at the end of the iteration?
Edit: When translating back to my real problem, I noticed that this example does not completely represent it, and I still had issues making it work. I did some changes to the example here with some additional changes in lifetimes to make it work. Now it works fine. In summary, the test
function had to do some mapping on the value returned by get
, and in that process it was returning lifetime 'b
instead of 'a
.