]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | // run-pass |
e9174d1e | 2 | #![allow(dead_code)] |
85aaf69f | 3 | |
e9174d1e SL |
4 | #[repr(u8)] |
5 | #[allow(dead_code)] | |
6 | enum ValueType { | |
7 | DOUBLE = 0x00, | |
8 | INT32 = 0x01, | |
9 | } | |
62682a34 | 10 | |
e9174d1e SL |
11 | #[repr(u32)] |
12 | enum ValueTag { | |
13 | INT32 = 0x1FFF0u32 | (ValueType::INT32 as u32), | |
14 | X, | |
15 | } | |
62682a34 | 16 | |
e9174d1e SL |
17 | #[repr(u64)] |
18 | enum ValueShiftedTag { | |
19 | INT32 = ValueTag::INT32 as u64, | |
20 | X, | |
62682a34 SL |
21 | } |
22 | ||
23 | fn main() { | |
e9174d1e | 24 | println!("{}", ValueTag::INT32 as u32); |
62682a34 | 25 | } |