src/test/ui/unsafe/ranged_ints3_match.rs

   1 // revisions: mirunsafeck thirunsafeck
   2 // [thirunsafeck]compile-flags: -Z thir-unsafeck
   3
   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     match x {
  14         NonZero(ref x) => { x }
  15         //~^ ERROR borrow of layout constrained field with interior mutability
  16     };
  17
  18     let mut y = unsafe { NonZero(42) };
  19     match y { NonZero(ref y) => { y } }; // OK, type of `y` is freeze
  20     match y { NonZero(ref mut y) => { y } };
  21     //~^ ERROR mutation of layout constrained field
  22 }