summaryrefslogtreecommitdiffstats
path: root/src/test/ui/closures/2229_closure_analysis/run_pass/mut_ref_struct_mem.rs
blob: a85335438a9fbd301c40d0aa003ed7e499028017 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
// edition:2021
// run-pass

// Test that we can mutate a place through a mut-borrow
// that is captured by the closure

// More specifically we test that the if the mutable reference isn't root variable of a capture
// but rather accessed while accessing the precise capture.

fn mut_tuple() {
    let mut t = (10, 10);

    let t1 = (&mut t, 10);

    let mut c = || {
        // Mutable because (*t.0) is mutable
        t1.0.0 += 10;
    };

    c();
}

fn mut_tuple_nested() {
    let mut t = (10, 10);

    let t1 = (&mut t, 10);

    let mut c = || {
        let mut c = || {
            // Mutable because (*t.0) is mutable
            t1.0.0 += 10;
        };

        c();
    };

    c();
}

fn main() {
    mut_tuple();
    mut_tuple_nested();
}