summaryrefslogtreecommitdiffstats
path: root/src/test/ui/drop/drop-struct-as-object.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/drop/drop-struct-as-object.rs')
-rw-r--r--src/test/ui/drop/drop-struct-as-object.rs36
1 files changed, 36 insertions, 0 deletions
diff --git a/src/test/ui/drop/drop-struct-as-object.rs b/src/test/ui/drop/drop-struct-as-object.rs
new file mode 100644
index 000000000..377027a4f
--- /dev/null
+++ b/src/test/ui/drop/drop-struct-as-object.rs
@@ -0,0 +1,36 @@
+// run-pass
+#![allow(unused_variables)]
+#![allow(non_upper_case_globals)]
+
+// Test that destructor on a struct runs successfully after the struct
+// is boxed and converted to an object.
+
+static mut value: usize = 0;
+
+struct Cat {
+ name : usize,
+}
+
+trait Dummy {
+ fn get(&self) -> usize;
+}
+
+impl Dummy for Cat {
+ fn get(&self) -> usize { self.name }
+}
+
+impl Drop for Cat {
+ fn drop(&mut self) {
+ unsafe { value = self.name; }
+ }
+}
+
+pub fn main() {
+ {
+ let x = Box::new(Cat {name: 22});
+ let nyan: Box<dyn Dummy> = x as Box<dyn Dummy>;
+ }
+ unsafe {
+ assert_eq!(value, 22);
+ }
+}