blob: 407f097690045abf56478496322ed6903c07c383 [file] [log] [blame]
// 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() {}