1 // revisions: mirunsafeck thirunsafeck
2 // [thirunsafeck]compile-flags: -Z thir-unsafeck
4 #![feature(rustc_attrs)]
6 #[rustc_layout_scalar_valid_range_start(1)]
8 pub(crate) struct NonZero<T>(pub(crate) T);
10 let mut x = unsafe { NonZero(1) };
11 x.0 = 0; //~ ERROR mutation of layout constrained field is unsafe