1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109
|
//@ compile-flags: --crate-type=lib
#![allow(incomplete_features)]
#![feature(unsafe_fields)]
struct WithUnsafeField {
unsafe unsafe_field: u32,
safe_field: u32,
}
enum A {
WithUnsafeField { unsafe unsafe_field: u32, safe_field: u32 },
}
fn f(a: A) {
let A::WithUnsafeField { unsafe_field, safe_field } = a;
//~^ ERROR
}
struct WithInvalidUnsafeField {
unsafe unsafe_noncopy_field: Vec<u32>, //~ ERROR
}
struct WithManuallyDropUnsafeField {
unsafe unsafe_noncopy_field: std::mem::ManuallyDrop<Vec<u32>>,
}
union WithUnsafeFieldUnion {
unsafe unsafe_field: u32,
safe_field: u32,
}
impl WithUnsafeField {
fn new() -> WithUnsafeField {
unsafe {
WithUnsafeField {
unsafe_field: 0,
safe_field: 0,
}
}
}
fn new_without_unsafe() -> WithUnsafeField {
WithUnsafeField { //~ ERROR
unsafe_field: 0,
safe_field: 0,
}
}
fn operate_on_safe_field(&mut self) {
self.safe_field = 2;
&self.safe_field;
self.safe_field;
}
fn set_unsafe_field(&mut self) {
unsafe {
self.unsafe_field = 2;
}
}
fn read_unsafe_field(&self) -> u32 {
unsafe {
self.unsafe_field
}
}
fn ref_unsafe_field(&self) -> &u32 {
unsafe {
&self.unsafe_field
}
}
fn destructure(&self) {
unsafe {
let Self { safe_field, unsafe_field } = self;
}
}
fn set_unsafe_field_without_unsafe(&mut self) {
self.unsafe_field = 2;
//~^ ERROR
}
fn read_unsafe_field_without_unsafe(&self) -> u32 {
self.unsafe_field
//~^ ERROR
}
fn ref_unsafe_field_without_unsafe(&self) -> &u32 {
&self.unsafe_field
//~^ ERROR
}
fn destructure_without_unsafe(&self) {
let Self { safe_field, unsafe_field } = self;
//~^ ERROR
let WithUnsafeField { safe_field, .. } = self;
}
fn offset_of(&self) -> usize {
std::mem::offset_of!(WithUnsafeField, unsafe_field)
}
fn raw_const(&self) -> *const u32 {
&raw const self.unsafe_field
//~^ ERROR
}
}
|