about summary refs log tree commit diff
path: root/src/test/ui/enum/enum-size-variance.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/enum/enum-size-variance.rs')
-rw-r--r--src/test/ui/enum/enum-size-variance.rs45
1 files changed, 45 insertions, 0 deletions
diff --git a/src/test/ui/enum/enum-size-variance.rs b/src/test/ui/enum/enum-size-variance.rs
new file mode 100644
index 00000000000..582998a986d
--- /dev/null
+++ b/src/test/ui/enum/enum-size-variance.rs
@@ -0,0 +1,45 @@
+// Copyright 2014 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.
+
+// run-pass
+
+#![warn(variant_size_differences)]
+#![allow(dead_code)]
+
+// Note that the following test works because all fields of the enum variants are of the same size.
+// If this test is modified and the reordering logic in librustc/ty/layout.rs kicks in, it fails.
+
+enum Enum1 { }
+
+enum Enum2 { A, B, C }
+
+enum Enum3 { D(i64), E, F }
+
+enum Enum4 { H(i64), I(i64), J }
+
+enum Enum5 {
+    L(i64, i64, i64, i64), //~ WARNING three times larger
+    M(i64),
+    N
+}
+
+enum Enum6<T, U> {
+    O(T),
+    P(U),
+    Q(i64)
+}
+
+#[allow(variant_size_differences)]
+enum Enum7 {
+    R(i64, i64, i64, i64),
+    S(i64),
+    T
+}
+pub fn main() { }