summaryrefslogtreecommitdiffstats
path: root/src/test/ui/array-slice-vec/destructure-array-1.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/array-slice-vec/destructure-array-1.rs')
-rw-r--r--src/test/ui/array-slice-vec/destructure-array-1.rs27
1 files changed, 27 insertions, 0 deletions
diff --git a/src/test/ui/array-slice-vec/destructure-array-1.rs b/src/test/ui/array-slice-vec/destructure-array-1.rs
new file mode 100644
index 000000000..74d893ee5
--- /dev/null
+++ b/src/test/ui/array-slice-vec/destructure-array-1.rs
@@ -0,0 +1,27 @@
+// run-pass
+
+// Ensure that we can do a destructuring bind of a fixed-size array,
+// even when the element type has a destructor.
+
+struct D { x: u8 }
+
+impl Drop for D { fn drop(&mut self) { } }
+
+fn main() {
+ fn d(x: u8) -> D { D { x: x } }
+
+ let d1 = foo([d(1), d(2), d(3), d(4)], 1);
+ let d3 = foo([d(5), d(6), d(7), d(8)], 3);
+ assert_eq!(d1.x, 2);
+ assert_eq!(d3.x, 8);
+}
+
+fn foo([a, b, c, d]: [D; 4], i: usize) -> D {
+ match i {
+ 0 => a,
+ 1 => b,
+ 2 => c,
+ 3 => d,
+ _ => panic!("unmatched"),
+ }
+}