]>
Commit | Line | Data |
---|---|---|
136023e0 XL |
1 | // revisions: mirunsafeck thirunsafeck |
2 | // [thirunsafeck]compile-flags: -Z thir-unsafeck | |
3 | ||
0731742a XL |
4 | #![feature(rustc_attrs)] |
5 | ||
6 | use std::cell::Cell; | |
7 | ||
8 | #[rustc_layout_scalar_valid_range_start(1)] | |
9 | #[repr(transparent)] | |
10 | pub(crate) struct NonZero<T>(pub(crate) T); | |
11 | fn main() { | |
12 | let mut x = unsafe { NonZero(Cell::new(1)) }; | |
13 | let y = &x.0; //~ ERROR borrow of layout constrained field with interior mutability | |
14 | } |