tests/ui/closures/2229_closure_analysis/unique-borrows-are-invariant-1.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// edition:2021

// regression test for #112056

fn extend_lifetime<'a, 'b>(x: &mut (&'a str,), y: &'b str) {
    let mut closure = |input| x.0 = input;
    //~^ ERROR: lifetime may not live long enough
    closure(y);
}

fn main() {
    let mut tuple = ("static",);
    {
        let x = String::from("temporary");
        extend_lifetime(&mut tuple, &x);
    }
    println!("{}", tuple.0);
}