about summary refs log tree commit diff
diff options
context:
space:
mode:
authorLuqman Aden <laden@csclub.uwaterloo.ca>2016-05-13 12:30:44 -0400
committerLuqman Aden <laden@csclub.uwaterloo.ca>2016-05-13 12:36:57 -0400
commitf3e1d57bc2d52f1a7ca5dbd9a31b5ad813483e2c (patch)
treec8b06905599cadbd54817af3f37d735d75499eb5
parenta581c82bdc2c13a398b091878d7353bc3d097d59 (diff)
downloadrust-f3e1d57bc2d52f1a7ca5dbd9a31b5ad813483e2c.tar.gz
rust-f3e1d57bc2d52f1a7ca5dbd9a31b5ad813483e2c.zip
Allow repr attribute on single variant enum.
-rw-r--r--src/librustc_trans/adt.rs4
-rw-r--r--src/test/run-pass/issue-33202.rs18
2 files changed, 19 insertions, 3 deletions
diff --git a/src/librustc_trans/adt.rs b/src/librustc_trans/adt.rs
index 49775388038..a4792ea328f 100644
--- a/src/librustc_trans/adt.rs
+++ b/src/librustc_trans/adt.rs
@@ -306,10 +306,8 @@ fn represent_type_uncached<'a, 'tcx>(cx: &CrateContext<'a, 'tcx>,
                      cx.tcx().item_path_str(def.did));
             }
 
-            if cases.len() == 1 {
+            if cases.len() == 1 && hint == attr::ReprAny {
                 // Equivalent to a struct/tuple/newtype.
-                // (Typechecking will reject discriminant-sizing attrs.)
-                assert_eq!(hint, attr::ReprAny);
                 let mut ftys = cases[0].tys.clone();
                 if dtor { ftys.push(cx.tcx().dtor_type()); }
                 return Univariant(mk_struct(cx, &ftys[..], false, t),
diff --git a/src/test/run-pass/issue-33202.rs b/src/test/run-pass/issue-33202.rs
new file mode 100644
index 00000000000..eb4192942f5
--- /dev/null
+++ b/src/test/run-pass/issue-33202.rs
@@ -0,0 +1,18 @@
+// Copyright 2016 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.
+
+#[repr(C)]
+pub enum CPOption<T> {
+    PSome(T),
+}
+
+fn main() {
+  println!("sizeof CPOption<i32> {}", std::mem::size_of::<CPOption<i32>>());
+}