about summary refs log tree commit diff
path: root/tests/ui-fulldeps/try-from-u32/values.rs
blob: 180a8f2beb75b6c1fac3b0ce3ad701c8978a5270 (plain)
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
#![feature(assert_matches)]
#![feature(rustc_private)]
//@ edition: 2021
//@ run-pass

// Checks the values accepted by the `TryFrom<u32>` impl produced by `#[derive(TryFromU32)]`.

extern crate rustc_macros;

use core::assert_matches::assert_matches;
use rustc_macros::TryFromU32;

#[derive(TryFromU32, Debug, PartialEq)]
#[repr(u32)]
enum Repr {
    Zero,
    One(),
    Seven = 7,
}

#[derive(TryFromU32, Debug)]
enum NoRepr {
    Zero,
    One,
}

fn main() {
    assert_eq!(Repr::try_from(0u32), Ok(Repr::Zero));
    assert_eq!(Repr::try_from(1u32), Ok(Repr::One()));
    assert_eq!(Repr::try_from(2u32), Err(2));
    assert_eq!(Repr::try_from(7u32), Ok(Repr::Seven));

    assert_matches!(NoRepr::try_from(0u32), Ok(NoRepr::Zero));
    assert_matches!(NoRepr::try_from(1u32), Ok(NoRepr::One));
    assert_matches!(NoRepr::try_from(2u32), Err(2));
}