about summary refs log tree commit diff
path: root/tests/ui/consts/const-blocks/const-repeat.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/consts/const-blocks/const-repeat.rs')
-rw-r--r--tests/ui/consts/const-blocks/const-repeat.rs27
1 files changed, 27 insertions, 0 deletions
diff --git a/tests/ui/consts/const-blocks/const-repeat.rs b/tests/ui/consts/const-blocks/const-repeat.rs
new file mode 100644
index 00000000000..65d02317d34
--- /dev/null
+++ b/tests/ui/consts/const-blocks/const-repeat.rs
@@ -0,0 +1,27 @@
+// run-pass
+
+// Repeating a *constant* of non-Copy type (not just a constant expression) is already stable.
+
+const EMPTY: Vec<i32> = Vec::new();
+
+pub fn bar() -> [Vec<i32>; 2] {
+    [EMPTY; 2]
+}
+
+struct Bomb;
+
+impl Drop for Bomb {
+    fn drop(&mut self) {
+        panic!("BOOM!");
+    }
+}
+
+const BOOM: Bomb = Bomb;
+
+fn main() {
+    let _x = bar();
+
+    // Make sure the destructor does not get called for empty arrays. `[CONST; N]` should
+    // instantiate (and then later drop) the const exactly `N` times.
+    let _x = [BOOM; 0];
+}