src/test/ui/consts/const-enum-cast.rs

   1 // run-pass
   2 #![allow(non_upper_case_globals)]
   3
   4 enum A { A1, A2 }
   5 enum B { B1=4, B2=2 }
   6
   7 #[allow(dead_code)]
   8 #[repr(align(8))]
   9 enum Aligned {
  10     Zero = 0,
  11     One = 1,
  12 }
  13
  14 // regression test for https://github.com/rust-lang/rust/issues/96185
  15 const X: u8 = {
  16     let aligned = Aligned::Zero;
  17     aligned as u8
  18 };
  19
  20 pub fn main () {
  21     static c1: isize = A::A2 as isize;
  22     static c2: isize = B::B2 as isize;
  23     let a1 = A::A2 as isize;
  24     let a2 = B::B2 as isize;
  25     assert_eq!(c1, 1);
  26     assert_eq!(c2, 2);
  27     assert_eq!(a1, 1);
  28     assert_eq!(a2, 2);
  29
  30     // Turns out that adding a let-binding generates totally different MIR.
  31     static c1_2: isize = { let v = A::A1; v as isize };
  32     static c2_2: isize = { let v = B::B1; v as isize };
  33     let a1_2 = { let v = A::A1; v as isize };
  34     let a2_2 = { let v = B::B1; v as isize };
  35     assert_eq!(c1_2, 0);
  36     assert_eq!(c2_2, 4);
  37     assert_eq!(a1_2, 0);
  38     assert_eq!(a2_2, 4);
  39
  40     assert_eq!(X, 0);
  41 }