enum-size-variance.rs

//@ 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() { }

// ferrocene-annotations: fls_xc1hof4qbf6p
// Enum Type Representation