tests/ui/closures/2229_closure_analysis/match/if-let-guards-errors.rs


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

// Check the if let guards don't force capture by value
//@ revisions: e2018 e2021
//@[e2018] edition:2018
//@[e2021] edition:2021

#![feature(if_let_guard)]
#![allow(irrefutable_let_patterns)]

fn if_let_ref_mut(mut value: Box<E>) {
    let f = |x: &E| {
        match &x {
            E::Number(_) if let E::Number(ref mut n) = *value => { }
            _ => {}
        }
    };
    let x = value;
    //~^ ERROR cannot move out of `value` because it is borrowed
    drop(f);
}

fn if_let_move(value: Box<E>) {
    let f = |x: &E| {
        match &x {
            E::Number(_) if let E::String(s) = *value => { }
            _ => {}
        }
    };
    let x = value;
    //~^ ERROR use of moved value: `value`
}

enum E {
    String(String),
    Number(i32),
}

fn main() {}