summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-4734.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/issues/issue-4734.rs')
-rw-r--r--tests/ui/issues/issue-4734.rs37
1 files changed, 37 insertions, 0 deletions
diff --git a/tests/ui/issues/issue-4734.rs b/tests/ui/issues/issue-4734.rs
new file mode 100644
index 000000000..29c965d7f
--- /dev/null
+++ b/tests/ui/issues/issue-4734.rs
@@ -0,0 +1,37 @@
+// run-pass
+#![allow(dead_code)]
+// Ensures that destructors are run for expressions of the form "e;" where
+// `e` is a type which requires a destructor.
+
+
+#![allow(path_statements)]
+
+struct A { n: isize }
+struct B;
+
+static mut NUM_DROPS: usize = 0;
+
+impl Drop for A {
+ fn drop(&mut self) {
+ unsafe { NUM_DROPS += 1; }
+ }
+}
+
+impl Drop for B {
+ fn drop(&mut self) {
+ unsafe { NUM_DROPS += 1; }
+ }
+}
+
+fn main() {
+ assert_eq!(unsafe { NUM_DROPS }, 0);
+ { let _a = A { n: 1 }; }
+ assert_eq!(unsafe { NUM_DROPS }, 1);
+ { A { n: 3 }; }
+ assert_eq!(unsafe { NUM_DROPS }, 2);
+
+ { let _b = B; }
+ assert_eq!(unsafe { NUM_DROPS }, 3);
+ { B; }
+ assert_eq!(unsafe { NUM_DROPS }, 4);
+}