blob: d1d90df240ca5bd3fd44af118eee2e22ca45000f (
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
|
// run-pass
#![allow(dead_code)]
#![allow(unused_unsafe)]
// https://github.com/rust-lang/rust/issues/48279
#[derive(PartialEq, Eq)]
pub struct NonZeroU32 {
value: u32
}
impl NonZeroU32 {
const unsafe fn new_unchecked(value: u32) -> Self {
NonZeroU32 { value }
}
}
//pub const FOO_ATOM: NonZeroU32 = unsafe { NonZeroU32::new_unchecked(7) };
pub const FOO_ATOM: NonZeroU32 = unsafe { NonZeroU32 { value: 7 } };
fn main() {
match None {
Some(FOO_ATOM) => {}
_ => {}
}
}
|