src/test/ui/unsafe/ranged_ints4_const.rs

   1 #![feature(rustc_attrs, const_let, const_fn)]
   2
   3 #[rustc_layout_scalar_valid_range_start(1)]
   4 #[repr(transparent)]
   5 pub(crate) struct NonZero<T>(pub(crate) T);
   6 fn main() {}
   7
   8 const fn foo() -> NonZero<u32> {
   9     let mut x = unsafe { NonZero(1) };
  10     x.0 = 0; //~ ERROR statements in constant functions are unstable
  11     //~^ ERROR mutation of layout constrained field is unsafe
  12     x
  13 }
  14
  15 const fn bar() -> NonZero<u32> {
  16     let mut x = unsafe { NonZero(1) };
  17     unsafe { x.0 = 0 }; //~ ERROR statements in constant functions are unstable
  18     x
  19 }