src/test/ui/borrowck/issue-41962.stderr

   1 error[E0382]: use of partially moved value: `maybe` (Ast)
   2   --> $DIR/issue-41962.rs:17:30
   3    |
   4 17 |         if let Some(thing) = maybe {
   5    |                     -----    ^^^^^ value used here after move
   6    |                     |
   7    |                     value moved here
   8    |
   9    = note: move occurs because the value has type `std::vec::Vec<bool>`, which does not implement the `Copy` trait
  10
  11 error[E0382]: use of moved value: `(maybe as std::prelude::v1::Some).0` (Ast)
  12   --> $DIR/issue-41962.rs:17:21
  13    |
  14 17 |         if let Some(thing) = maybe {
  15    |                     ^^^^^ value moved here in previous iteration of loop
  16    |
  17    = note: move occurs because the value has type `std::vec::Vec<bool>`, which does not implement the `Copy` trait
  18
  19 error[E0382]: use of moved value: `maybe` (Mir)
  20   --> $DIR/issue-41962.rs:17:9
  21    |
  22 17 |           if let Some(thing) = maybe {
  23    |           ^           ----- value moved here
  24    |  _________|
  25    | |
  26 18 | |         //~^ ERROR use of partially moved value: `maybe` (Ast) [E0382]
  27 19 | |         //~| ERROR use of moved value: `(maybe as std::prelude::v1::Some).0` (Ast) [E0382]
  28 20 | |         //~| ERROR use of moved value: `maybe` (Mir) [E0382]
  29 21 | |         //~| ERROR use of moved value: `maybe` (Mir) [E0382]
  30 22 | |         //~| ERROR use of moved value: `maybe.0` (Mir) [E0382]
  31 23 | |         }
  32    | |_________^ value used here after move
  33    |
  34    = note: move occurs because `maybe` has type `std::option::Option<std::vec::Vec<bool>>`, which does not implement the `Copy` trait
  35
  36 error[E0382]: use of moved value: `maybe` (Mir)
  37   --> $DIR/issue-41962.rs:17:16
  38    |
  39 17 |         if let Some(thing) = maybe {
  40    |                ^^^^^-----^
  41    |                |    |
  42    |                |    value moved here
  43    |                value used here after move
  44    |
  45    = note: move occurs because `maybe` has type `std::option::Option<std::vec::Vec<bool>>`, which does not implement the `Copy` trait
  46
  47 error[E0382]: use of moved value: `maybe.0` (Mir)
  48   --> $DIR/issue-41962.rs:17:21
  49    |
  50 17 |         if let Some(thing) = maybe {
  51    |                     ^^^^^ value moved here in previous iteration of loop
  52    |
  53    = note: move occurs because `maybe.0` has type `std::vec::Vec<bool>`, which does not implement the `Copy` trait
  54
  55 error: aborting due to 5 previous errors
  56