| #![feature(slice_patterns)] |
| |
| fn array() -> [(String, String); 3] { |
| Default::default() |
| } |
| |
| // Const Index + Const Index |
| |
| fn move_out_from_begin_and_end() { |
| let a = array(); |
| let [_, _, _x] = a; |
| let [.., ref _y] = a; //~ ERROR [E0382] |
| } |
| |
| fn move_out_from_begin_field_and_end() { |
| let a = array(); |
| let [_, _, (_x, _)] = a; |
| let [.., ref _y] = a; //~ ERROR [E0382] |
| } |
| |
| fn move_out_from_begin_field_and_end_field() { |
| let a = array(); |
| let [_, _, (_x, _)] = a; |
| let [.., (ref _y, _)] = a; //~ ERROR [E0382] |
| } |
| |
| // Const Index + Slice |
| |
| fn move_out_by_const_index_and_subslice() { |
| let a = array(); |
| let [_x, _, _] = a; |
| let [ref _y @ .., _, _] = a; //~ ERROR [E0382] |
| } |
| |
| fn move_out_by_const_index_end_and_subslice() { |
| let a = array(); |
| let [.., _x] = a; |
| let [_, _, ref _y @ ..] = a; //~ ERROR [E0382] |
| } |
| |
| fn move_out_by_const_index_field_and_subslice() { |
| let a = array(); |
| let [(_x, _), _, _] = a; |
| let [ref _y @ .., _, _] = a; //~ ERROR [E0382] |
| } |
| |
| fn move_out_by_const_index_end_field_and_subslice() { |
| let a = array(); |
| let [.., (_x, _)] = a; |
| let [_, _, ref _y @ ..] = a; //~ ERROR [E0382] |
| } |
| |
| fn move_out_by_subslice_and_const_index_field() { |
| let a = array(); |
| let [_y @ .., _, _] = a; |
| let [(ref _x, _), _, _] = a; //~ ERROR [E0382] |
| } |
| |
| fn move_out_by_subslice_and_const_index_end_field() { |
| let a = array(); |
| let [_, _, _y @ ..] = a; |
| let [.., (ref _x, _)] = a; //~ ERROR [E0382] |
| } |
| |
| // Slice + Slice |
| |
| fn move_out_by_subslice_and_subslice() { |
| let a = array(); |
| let [x @ .., _] = a; |
| let [_, ref _y @ ..] = a; //~ ERROR [E0382] |
| } |
| |
| // Move + Assign |
| |
| fn move_out_and_assign_end() { |
| let mut a = array(); |
| let [_, _, _x] = a; |
| a[2] = Default::default(); //~ ERROR [E0382] |
| } |
| |
| fn move_out_and_assign_end_field() { |
| let mut a = array(); |
| let [_, _, (_x, _)] = a; |
| a[2].1 = Default::default(); //~ ERROR [E0382] |
| } |
| |
| fn move_out_slice_and_assign_end() { |
| let mut a = array(); |
| let [_, _, _x @ ..] = a; |
| a[0] = Default::default(); //~ ERROR [E0382] |
| } |
| |
| fn move_out_slice_and_assign_end_field() { |
| let mut a = array(); |
| let [_, _, _x @ ..] = a; |
| a[0].1 = Default::default(); //~ ERROR [E0382] |
| } |
| |
| fn main() {} |