src/test/ui/enum-discriminant/discriminant_size.rs

   1 // run-pass
   2 #![feature(core_intrinsics, repr128)]
   3
   4 use std::intrinsics::discriminant_value;
   5
   6 enum E1 {
   7     A,
   8     B,
   9 }
  10
  11 #[repr(i8)]
  12 enum E2 {
  13     A = 7,
  14     B = -2,
  15 }
  16
  17 #[repr(C)]
  18 enum E3 {
  19     A = 42,
  20     B = 100,
  21 }
  22
  23 #[repr(i128)]
  24 enum E4 {
  25     A = 0x1223_3445_5667_7889,
  26     B = -0x1223_3445_5667_7889,
  27 }
  28
  29 fn main() {
  30     let mut target: [isize; 3] = [0, 0, 0];
  31     target[1] = discriminant_value(&E1::A);
  32     assert_eq!(target, [0, 0, 0]);
  33     target[1] = discriminant_value(&E1::B);
  34     assert_eq!(target, [0, 1, 0]);
  35
  36     let mut target: [i8; 3] = [0, 0, 0];
  37     target[1] = discriminant_value(&E2::A);
  38     assert_eq!(target, [0, 7, 0]);
  39     target[1] = discriminant_value(&E2::B);
  40     assert_eq!(target, [0, -2, 0]);
  41
  42     let mut target: [isize; 3] = [0, 0, 0];
  43     target[1] = discriminant_value(&E3::A);
  44     assert_eq!(target, [0, 42, 0]);
  45     target[1] = discriminant_value(&E3::B);
  46     assert_eq!(target, [0, 100, 0]);
  47
  48     let mut target: [i128; 3] = [0, 0, 0];
  49     target[1] = discriminant_value(&E4::A);
  50     assert_eq!(target, [0, 0x1223_3445_5667_7889, 0]);
  51     target[1] = discriminant_value(&E4::B);
  52     assert_eq!(target, [0, -0x1223_3445_5667_7889, 0]);
  53 }