mirror of https://github.com/rust-lang/rust
78 lines
2.2 KiB
Rust
78 lines
2.2 KiB
Rust
// Test that `by_move_binding @ pat_with_by_ref_bindings` is prevented.
|
|
|
|
fn main() {
|
|
struct U;
|
|
|
|
// Prevent promotion.
|
|
fn u() -> U {
|
|
U
|
|
}
|
|
|
|
fn f1(a @ ref b: U) {}
|
|
//~^ ERROR borrow of moved value
|
|
|
|
fn f2(mut a @ (b @ ref c, mut d @ ref e): (U, U)) {}
|
|
//~^ ERROR borrow of moved value
|
|
//~| ERROR borrow of moved value
|
|
//~| ERROR borrow of moved value
|
|
//~| ERROR use of partially moved value
|
|
fn f3(a @ [ref mut b, ref c]: [U; 2]) {}
|
|
//~^ ERROR borrow of moved value
|
|
|
|
let a @ ref b = U;
|
|
//~^ ERROR borrow of moved value
|
|
let a @ (mut b @ ref mut c, d @ ref e) = (U, U);
|
|
//~^ ERROR borrow of moved value
|
|
//~| ERROR borrow of moved value
|
|
//~| ERROR borrow of moved value
|
|
//~| ERROR use of partially moved value
|
|
let a @ [ref mut b, ref c] = [U, U];
|
|
//~^ ERROR borrow of moved value
|
|
let a @ ref b = u();
|
|
//~^ ERROR borrow of moved value
|
|
let a @ (mut b @ ref mut c, d @ ref e) = (u(), u());
|
|
//~^ ERROR borrow of moved value
|
|
//~| ERROR borrow of moved value
|
|
//~| ERROR borrow of moved value
|
|
//~| ERROR use of partially moved value
|
|
let a @ [ref mut b, ref c] = [u(), u()];
|
|
//~^ ERROR borrow of moved value
|
|
|
|
match Some(U) {
|
|
a @ Some(ref b) => {}
|
|
//~^ ERROR borrow of moved value
|
|
None => {}
|
|
}
|
|
match Some((U, U)) {
|
|
a @ Some((mut b @ ref mut c, d @ ref e)) => {}
|
|
//~^ ERROR borrow of moved value
|
|
//~| ERROR borrow of moved value
|
|
//~| ERROR borrow of moved value
|
|
//~| ERROR use of partially moved value
|
|
None => {}
|
|
}
|
|
match Some([U, U]) {
|
|
mut a @ Some([ref b, ref mut c]) => {}
|
|
//~^ ERROR borrow of moved value
|
|
None => {}
|
|
}
|
|
match Some(u()) {
|
|
a @ Some(ref b) => {}
|
|
//~^ ERROR borrow of moved value
|
|
None => {}
|
|
}
|
|
match Some((u(), u())) {
|
|
a @ Some((mut b @ ref mut c, d @ ref e)) => {}
|
|
//~^ ERROR borrow of moved value
|
|
//~| ERROR borrow of moved value
|
|
//~| ERROR borrow of moved value
|
|
//~| ERROR use of partially moved value
|
|
None => {}
|
|
}
|
|
match Some([u(), u()]) {
|
|
mut a @ Some([ref b, ref mut c]) => {}
|
|
//~^ ERROR borrow of moved value
|
|
None => {}
|
|
}
|
|
}
|