tests/ui/enum-discriminant/actually_not_an_enum-discriminant.rs

   1 // run-pass
   2 #![feature(core_intrinsics)]
   3
   4 use std::intrinsics::discriminant_value;
   5
   6 struct Zst;
   7
   8 struct Struct {
   9     _a: u32,
  10 }
  11
  12 union Union {
  13     _a: u32,
  14 }
  15
  16 fn check(v: u8) {
  17     assert_eq!(v, 0);
  18 }
  19
  20 pub fn generic<T>()
  21 where
  22     for<'a> T: Fn(&'a isize),
  23 {
  24     let v: Vec<T> =  Vec::new();
  25     let _: u8 = discriminant_value(&v);
  26 }
  27
  28 fn main() {
  29     // check that we use `u8` as the discriminant value
  30     // for everything that is not an enum.
  31     check(discriminant_value(&true));
  32     check(discriminant_value(&'a'));
  33     check(discriminant_value(&7));
  34     check(discriminant_value(&7.0));
  35     check(discriminant_value(&Zst));
  36     check(discriminant_value(&Struct { _a: 7 }));
  37     check(discriminant_value(&Union { _a: 7 }));
  38     check(discriminant_value(&[7, 77]));
  39     check(discriminant_value(&(7 as *const ())));
  40     check(discriminant_value(&(7 as *mut ())));
  41     check(discriminant_value(&&7));
  42     check(discriminant_value(&&mut 7));
  43     check(discriminant_value(&check));
  44     let fn_ptr: fn(u8) = check;
  45     check(discriminant_value(&fn_ptr));
  46     let hrtb: for<'a> fn(&'a str) -> &'a str = |x| x;
  47     check(discriminant_value(&hrtb));
  48     check(discriminant_value(&(7, 77, 777)));
  49 }