tests/ui/moves/moves-based-on-type-match-bindings.rs


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

// Tests that bindings to move-by-default values trigger moves of the
// discriminant. Also tests that the compiler explains the move in
// terms of the binding, not the discriminant.

struct Foo<A> { f: A }
fn guard(_s: String) -> bool {panic!()}
fn touch<A>(_a: &A) {}

fn f10() {
    let x = Foo {f: "hi".to_string()};

    let y = match x {
        Foo {f} => {} //~ NOTE value partially moved here
    };

    touch(&x); //~ ERROR borrow of partially moved value: `x`
    //~^ NOTE value borrowed here after partial move
    //~| NOTE partial move occurs because `x.f` has type `String`
}

fn main() {}