File: cast-discriminant-zst-enum.rs

package info (click to toggle)
rustc 1.85.0%2Bdfsg3-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental, sid, trixie
  • size: 893,396 kB
  • sloc: xml: 158,127; python: 35,830; javascript: 19,497; cpp: 19,002; sh: 17,245; ansic: 13,127; asm: 4,376; makefile: 1,051; perl: 29; lisp: 29; ruby: 19; sql: 11
file content (45 lines) | stat: -rw-r--r-- 1,283 bytes parent folder | download | duplicates (5)
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
//@ run-pass
// Test a ZST enum whose dicriminant is ~0i128. This caused an ICE when casting to an i32.
use std::hint::black_box;

#[derive(Copy, Clone)]
enum Nums {
    NegOne = -1,
}

const NEG_ONE_I8: i8 = Nums::NegOne as i8;
const NEG_ONE_I16: i16 = Nums::NegOne as i16;
const NEG_ONE_I32: i32 = Nums::NegOne as i32;
const NEG_ONE_I64: i64 = Nums::NegOne as i64;
const NEG_ONE_I128: i128 = Nums::NegOne as i128;

fn test_as_arg(n: Nums) {
    assert_eq!(-1i8, n as i8);
    assert_eq!(-1i16, n as i16);
    assert_eq!(-1i32, n as i32);
    assert_eq!(-1i64, n as i64);
    assert_eq!(-1i128, n as i128);
}

fn main() {
    let kind = Nums::NegOne;
    assert_eq!(-1i8, kind as i8);
    assert_eq!(-1i16, kind as i16);
    assert_eq!(-1i32, kind as i32);
    assert_eq!(-1i64, kind as i64);
    assert_eq!(-1i128, kind as i128);

    assert_eq!(-1i8, black_box(kind) as i8);
    assert_eq!(-1i16, black_box(kind) as i16);
    assert_eq!(-1i32, black_box(kind) as i32);
    assert_eq!(-1i64, black_box(kind) as i64);
    assert_eq!(-1i128, black_box(kind) as i128);

    test_as_arg(Nums::NegOne);

    assert_eq!(-1i8, NEG_ONE_I8);
    assert_eq!(-1i16, NEG_ONE_I16);
    assert_eq!(-1i32, NEG_ONE_I32);
    assert_eq!(-1i64, NEG_ONE_I64);
    assert_eq!(-1i128, NEG_ONE_I128);
}