summaryrefslogtreecommitdiffstats
path: root/src/test/ui/unsafe/ranged_ints_const.rs
blob: 472b09681507591db8d42bf05c9b95b18e9ddda6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
// revisions: mir thir
// [thir]compile-flags: -Z thir-unsafeck

#![feature(rustc_attrs)]

#[rustc_layout_scalar_valid_range_start(1)]
#[repr(transparent)]
pub(crate) struct NonZero<T>(pub(crate) T);
fn main() {}

const fn foo() -> NonZero<u32> { NonZero(0) }
//~^ ERROR initializing type with `rustc_layout_scalar_valid_range` attr is unsafe

const fn bar() -> NonZero<u32> { unsafe { NonZero(0) } }