summaryrefslogtreecommitdiffstats
path: root/src/test/ui/borrowck/borrow-immutable-upvar-mutation.rs
blob: e2f016614bf86a4917b1633536de422aec999693 (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
44
45
46
47
48
49
50
51
52
53
54
55
56
#![feature(unboxed_closures)]

// Tests that we can't assign to or mutably borrow upvars from `Fn`
// closures (issue #17780)

fn set(x: &mut usize) {
    *x = 5;
}

fn to_fn<A, F: Fn<A>>(f: F) -> F {
    f
}
fn to_fn_mut<A, F: FnMut<A>>(f: F) -> F {
    f
}

fn main() {
    // By-ref captures
    {
        let mut x = 0;
        let _f = to_fn(|| x = 42); //~ ERROR cannot assign

        let mut y = 0;
        let _g = to_fn(|| set(&mut y)); //~ ERROR cannot borrow

        let mut z = 0;
        let _h = to_fn_mut(|| {
            set(&mut z);
            to_fn(|| z = 42); //~ ERROR cannot assign
        });
    }

    // By-value captures
    {
        let mut x = 0;
        let _f = to_fn(move || x = 42); //~ ERROR cannot assign

        let mut y = 0;
        let _g = to_fn(move || set(&mut y)); //~ ERROR cannot borrow

        let mut z = 0;
        let _h = to_fn_mut(move || {
            set(&mut z);
            to_fn(move || z = 42);
            //~^ ERROR cannot assign
        });
    }
}

fn foo() -> Box<dyn Fn() -> usize> {
    let mut x = 0;
    Box::new(move || {
        x += 1; //~ ERROR cannot assign
        x
    })
}