gcc/testsuite/rust/execute/torture/enum_intrinsics1.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

/* { dg-output "0\r*\n2\r*\n" } */
#![feature(intrinsics)]

#[lang = "sized"]
pub trait Sized {}

enum BookFormat {
    Paperback,
    Hardback,
    Ebook,
}

extern "C" {
    fn printf(s: *const i8, ...);
}

mod core {
    mod intrinsics {
        #[lang = "discriminant_kind"]
        pub trait DiscriminantKind {
            #[lang = "discriminant_type"]
            type Discriminant;
        }

        extern "rust-intrinsic" {
            pub fn discriminant_value<T>(v: &T) -> <T as DiscriminantKind>::Discriminant;
        }
    }
}

pub fn main() -> i32 {
    let a = BookFormat::Paperback;
    let b = BookFormat::Ebook;

    unsafe {
        let val1: isize = core::intrinsics::discriminant_value(&a);
        let val2 = core::intrinsics::discriminant_value(&b);

        let a = "%i\n";
        let b = a as *const str;
        let c = b as *const i8;

        printf(c, val1 as i32);
        printf(c, val2 as i32);
    }

    0
}