| //@ run-pass | |
| #![allow(non_upper_case_globals)] | |
| enum A { A1, A2 } | |
| enum B { B1=4, B2=2 } | |
| #[allow(dead_code)] | |
| #[repr(align(8))] | |
| enum Aligned { | |
| Zero = 0, | |
| One = 1, | |
| } | |
| // regression test for https://github.com/rust-lang/rust/issues/96185 | |
| const X: u8 = { | |
| let aligned = Aligned::Zero; | |
| aligned as u8 | |
| }; | |
| pub fn main () { | |
| static c1: isize = A::A2 as isize; | |
| static c2: isize = B::B2 as isize; | |
| let a1 = A::A2 as isize; | |
| let a2 = B::B2 as isize; | |
| assert_eq!(c1, 1); | |
| assert_eq!(c2, 2); | |
| assert_eq!(a1, 1); | |
| assert_eq!(a2, 2); | |
| // Turns out that adding a let-binding generates totally different MIR. | |
| static c1_2: isize = { let v = A::A1; v as isize }; | |
| static c2_2: isize = { let v = B::B1; v as isize }; | |
| let a1_2 = { let v = A::A1; v as isize }; | |
| let a2_2 = { let v = B::B1; v as isize }; | |
| assert_eq!(c1_2, 0); | |
| assert_eq!(c2_2, 4); | |
| assert_eq!(a1_2, 0); | |
| assert_eq!(a2_2, 4); | |
| assert_eq!(X, 0); | |
| } |