src/test/ui/unsafe/ranged_ints3.rs

   1 #![feature(rustc_attrs)]
   2
   3 use std::cell::Cell;
   4
   5 #[rustc_layout_scalar_valid_range_start(1)]
   6 #[repr(transparent)]
   7 pub(crate) struct NonZero<T>(pub(crate) T);
   8 fn main() {
   9     let mut x = unsafe { NonZero(Cell::new(1)) };
  10     let y = &x.0; //~ ERROR borrow of layout constrained field is unsafe
  11 }