diff options
Diffstat (limited to 'src/test/ui/unsafe/union-assignop.rs')
-rw-r--r-- | src/test/ui/unsafe/union-assignop.rs | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/unsafe/union-assignop.rs b/src/test/ui/unsafe/union-assignop.rs deleted file mode 100644 index 5e667cd10..000000000 --- a/src/test/ui/unsafe/union-assignop.rs +++ /dev/null @@ -1,29 +0,0 @@ -// revisions: mirunsafeck thirunsafeck -// [thirunsafeck]compile-flags: -Z thir-unsafeck - -use std::ops::AddAssign; -use std::mem::ManuallyDrop; - -struct NonCopy; -impl AddAssign for NonCopy { - fn add_assign(&mut self, _: Self) {} -} - -union Foo { - a: u8, // non-dropping - b: ManuallyDrop<NonCopy>, -} - -fn main() { - let mut foo = Foo { a: 42 }; - foo.a += 5; //~ ERROR access to union field is unsafe - *foo.b += NonCopy; //~ ERROR access to union field is unsafe - *foo.b = NonCopy; //~ ERROR access to union field is unsafe - foo.b = ManuallyDrop::new(NonCopy); - foo.a; //~ ERROR access to union field is unsafe - let foo = Foo { a: 42 }; - foo.b; //~ ERROR access to union field is unsafe - let mut foo = Foo { a: 42 }; - foo.b = foo.b; - //~^ ERROR access to union field is unsafe -} |