src/test/ui/unsafe/unsafe-borrow.rs

   1 // revisions: mirunsafeck thirunsafeck
   2 // [thirunsafeck]compile-flags: -Z thir-unsafeck
   3
   4 #![feature(rustc_attrs)]
   5 #![allow(unused,dead_code)]
   6
   7 fn tuple_struct() {
   8     #[rustc_layout_scalar_valid_range_start(1)]
   9     struct NonZero<T>(T);
  10
  11     let mut foo = unsafe { NonZero((1,)) };
  12     let a = &mut foo.0.0;
  13     //~^ ERROR: mutation of layout constrained field is unsafe
  14 }
  15
  16 fn slice() {
  17     #[rustc_layout_scalar_valid_range_start(1)]
  18     struct NonZero<'a, T>(&'a mut [T]);
  19
  20     let mut nums = [1, 2, 3, 4];
  21     let mut foo = unsafe { NonZero(&mut nums[..]) };
  22     let a = &mut foo.0[2];
  23     // ^ not unsafe because there is an implicit dereference here
  24 }
  25
  26 fn array() {
  27     #[rustc_layout_scalar_valid_range_start(1)]
  28     struct NonZero<T>([T; 4]);
  29
  30     let nums = [1, 2, 3, 4];
  31     let mut foo = unsafe { NonZero(nums) };
  32     let a = &mut foo.0[2];
  33     //~^ ERROR: mutation of layout constrained field is unsafe
  34 }
  35
  36 fn block() {
  37     #[rustc_layout_scalar_valid_range_start(1)]
  38     struct NonZero<T>(T);
  39
  40     let foo = unsafe { NonZero((1,)) };
  41     &mut { foo.0 }.0;
  42     // ^ not unsafe because the result of the block expression is a new place
  43 }
  44
  45 fn mtch() {
  46     #[rustc_layout_scalar_valid_range_start(1)]
  47     struct NonZero<T>(T);
  48
  49     let mut foo = unsafe { NonZero((1,)) };
  50     match &mut foo {
  51         NonZero((a,)) => *a = 0,
  52         //~^ ERROR: mutation of layout constrained field is unsafe
  53     }
  54 }
  55
  56 fn main() {}