Fix issue #9243

src/librustc/middle/trans/adt.rs

@@ -503,9 +503,11 @@ pub fn trans_const(ccx: &mut CrateContext, r: &Repr, discr: Disr,
             assert!(min <= discr && discr <= max);
             C_disr(ccx, discr)
         }
-        Univariant(ref st, _dro) => {
+        Univariant(ref st, drop_flag) => {
             assert_eq!(discr, 0);
-            C_struct(build_const_struct(ccx, st, vals))
+            let values = if drop_flag { ~[C_bool(true)] + vals }
+                         else { vals.to_owned() };
+            C_struct(build_const_struct(ccx, st, values))
         }
         General(ref cases) => {
             let case = &cases[discr];

src/test/run-pass/issue-9243-1.rs

@@ -0,0 +1,26 @@
+// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+struct Test {
+    mem: int,
+}
+
+pub static g_test: Test = Test {
+    mem: 0,
+};
+
+impl Drop for Test {
+    fn drop(&mut self) {
+    }
+}
+
+fn main() {
+
+}

src/test/run-pass/issue-9243-2.rs

@@ -0,0 +1,22 @@
+// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+struct Test;
+
+pub static g_test: Test = Test;
+
+impl Drop for Test {
+    fn drop(&mut self) {
+    }
+}
+
+fn main() {
+
+}