about summary refs log tree commit diff
path: root/src/test/ui/unsafe/unsafe-assign.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/unsafe/unsafe-assign.rs')
-rw-r--r--src/test/ui/unsafe/unsafe-assign.rs25
1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/ui/unsafe/unsafe-assign.rs b/src/test/ui/unsafe/unsafe-assign.rs
deleted file mode 100644
index 15273165b5e..00000000000
--- a/src/test/ui/unsafe/unsafe-assign.rs
+++ /dev/null
@@ -1,25 +0,0 @@
-// revisions: mirunsafeck thirunsafeck
-// [thirunsafeck]compile-flags: -Z thir-unsafeck
-
-#![feature(rustc_attrs)]
-#![allow(unused,dead_code)]
-
-fn nested_field() {
-    #[rustc_layout_scalar_valid_range_start(1)]
-    struct NonZero<T>(T);
-
-    let mut foo = unsafe { NonZero((1,)) };
-    foo.0.0 = 0;
-    //~^ ERROR: mutation of layout constrained field is unsafe
-}
-
-fn block() {
-    #[rustc_layout_scalar_valid_range_start(1)]
-    struct NonZero<T>(T);
-
-    let mut foo = unsafe { NonZero((1,)) };
-    { foo.0 }.0 = 0;
-    // ^ not unsafe because the result of the block expression is a new place
-}
-
-fn main() {}