src/test/ui/borrowck/borrowck-move-out-from-array-use.rs

   1 #![feature(slice_patterns)]
   2
   3 fn array() -> [(String, String); 3] {
   4     Default::default()
   5 }
   6
   7 // Const Index + Const Index
   8
   9 fn move_out_from_begin_and_end() {
  10     let a = array();
  11     let [_, _, _x] = a;
  12     let [.., ref _y] = a; //~ ERROR [E0382]
  13 }
  14
  15 fn move_out_from_begin_field_and_end() {
  16     let a = array();
  17     let [_, _, (_x, _)] = a;
  18     let [.., ref _y] = a; //~ ERROR [E0382]
  19 }
  20
  21 fn move_out_from_begin_field_and_end_field() {
  22     let a = array();
  23     let [_, _, (_x, _)] = a;
  24     let [.., (ref _y, _)] = a; //~ ERROR [E0382]
  25 }
  26
  27 // Const Index + Slice
  28
  29 fn move_out_by_const_index_and_subslice() {
  30     let a = array();
  31     let [_x, _, _] = a;
  32     let [ref _y @ .., _, _] = a; //~ ERROR [E0382]
  33 }
  34
  35 fn move_out_by_const_index_end_and_subslice() {
  36     let a = array();
  37     let [.., _x] = a;
  38     let [_, _, ref _y @ ..] = a; //~ ERROR [E0382]
  39 }
  40
  41 fn move_out_by_const_index_field_and_subslice() {
  42     let a = array();
  43     let [(_x, _), _, _] = a;
  44     let [ref _y @ .., _, _] = a; //~ ERROR [E0382]
  45 }
  46
  47 fn move_out_by_const_index_end_field_and_subslice() {
  48     let a = array();
  49     let [.., (_x, _)] = a;
  50     let [_, _, ref _y @ ..] = a; //~ ERROR [E0382]
  51 }
  52
  53 fn move_out_by_subslice_and_const_index_field() {
  54     let a = array();
  55     let [_y @ .., _, _] = a;
  56     let [(ref _x, _), _, _] = a; //~ ERROR [E0382]
  57 }
  58
  59 fn move_out_by_subslice_and_const_index_end_field() {
  60     let a = array();
  61     let [_, _, _y @ ..] = a;
  62     let [.., (ref _x, _)] = a; //~ ERROR [E0382]
  63 }
  64
  65 // Slice + Slice
  66
  67 fn move_out_by_subslice_and_subslice() {
  68     let a = array();
  69     let [x @ .., _] = a;
  70     let [_, ref _y @ ..] = a; //~ ERROR [E0382]
  71 }
  72
  73 // Move + Assign
  74
  75 fn move_out_and_assign_end() {
  76     let mut a = array();
  77     let [_, _, _x] = a;
  78     a[2] = Default::default(); //~ ERROR [E0382]
  79 }
  80
  81 fn move_out_and_assign_end_field() {
  82     let mut a = array();
  83     let [_, _, (_x, _)] = a;
  84     a[2].1 = Default::default(); //~ ERROR [E0382]
  85 }
  86
  87 fn move_out_slice_and_assign_end() {
  88     let mut a = array();
  89     let [_, _, _x @ ..] = a;
  90     a[0] = Default::default(); //~ ERROR [E0382]
  91 }
  92
  93 fn move_out_slice_and_assign_end_field() {
  94     let mut a = array();
  95     let [_, _, _x @ ..] = a;
  96     a[0].1 = Default::default(); //~ ERROR [E0382]
  97 }
  98
  99 fn main() {}