src/test/ui/pattern/bindings-after-at/borrowck-move-and-move.stderr

   1 error[E0382]: use of moved value
   2   --> $DIR/borrowck-move-and-move.rs:13:9
   3    |
   4 LL |     let a @ b = U;
   5    |         ^^^^-   - move occurs because value has type `U`, which does not implement the `Copy` trait
   6    |         |   |
   7    |         |   value moved here
   8    |         value used here after move
   9
  10 error[E0382]: use of partially moved value
  11   --> $DIR/borrowck-move-and-move.rs:15:9
  12    |
  13 LL |     let a @ (b, c) = (U, U);
  14    |         ^^^^^^^^-^
  15    |         |       |
  16    |         |       value partially moved here
  17    |         value used here after partial move
  18    |
  19    = note: partial move occurs because value has type `U`, which does not implement the `Copy` trait
  20
  21 error[E0382]: use of partially moved value
  22   --> $DIR/borrowck-move-and-move.rs:17:9
  23    |
  24 LL |     let a @ (b, c) = (u(), u());
  25    |         ^^^^^^^^-^
  26    |         |       |
  27    |         |       value partially moved here
  28    |         value used here after partial move
  29    |
  30    = note: partial move occurs because value has type `U`, which does not implement the `Copy` trait
  31
  32 error[E0382]: use of moved value
  33   --> $DIR/borrowck-move-and-move.rs:20:16
  34    |
  35 LL |     match Ok(U) {
  36    |           ----- move occurs because value has type `Result<U, U>`, which does not implement the `Copy` trait
  37 LL |         a @ Ok(b) | a @ Err(b) => {}
  38    |         -------^-
  39    |         |      |
  40    |         |      value used here after move
  41    |         value moved here
  42
  43 error[E0382]: use of moved value
  44   --> $DIR/borrowck-move-and-move.rs:20:29
  45    |
  46 LL |     match Ok(U) {
  47    |           ----- move occurs because value has type `Result<U, U>`, which does not implement the `Copy` trait
  48 LL |         a @ Ok(b) | a @ Err(b) => {}
  49    |                     --------^-
  50    |                     |       |
  51    |                     |       value used here after move
  52    |                     value moved here
  53
  54 error[E0382]: use of partially moved value
  55   --> $DIR/borrowck-move-and-move.rs:27:9
  56    |
  57 LL |         xs @ [a, .., b] => {}
  58    |         ^^^^^^^^^^^^^-^
  59    |         |            |
  60    |         |            value partially moved here
  61    |         value used here after partial move
  62    |
  63    = note: partial move occurs because value has type `U`, which does not implement the `Copy` trait
  64
  65 error[E0382]: use of partially moved value
  66   --> $DIR/borrowck-move-and-move.rs:31:9
  67    |
  68 LL |         xs @ [_, ys @ .., _] => {}
  69    |         ^^^^^^^^^-------^^^^
  70    |         |        |
  71    |         |        value partially moved here
  72    |         value used here after partial move
  73    |
  74    = note: partial move occurs because value has type `U`, which does not implement the `Copy` trait
  75
  76 error[E0382]: use of moved value
  77   --> $DIR/borrowck-move-and-move.rs:24:12
  78    |
  79 LL |     fn fun(a @ b: U) {}
  80    |            ^^^^-
  81    |            |   |
  82    |            |   value moved here
  83    |            value used here after move
  84    |            move occurs because value has type `U`, which does not implement the `Copy` trait
  85
  86 error: aborting due to 8 previous errors
  87
  88 For more information about this error, try `rustc --explain E0382`.