| //@ edition: 2018 | |
| // tests that the pointee type of a raw pointer must be known to call methods on it | |
| // see also: `tests/ui/editions/edition-raw-pointer-method-2018.rs` | |
| fn main() { | |
| let val = 1_u32; | |
| let ptr = &val as *const u32; | |
| unsafe { | |
| let _a: i32 = (ptr as *const _).read(); | |
| //~^ ERROR type annotations needed | |
| let b = ptr as *const _; | |
| //~^ ERROR type annotations needed | |
| let _b: u8 = b.read(); | |
| let _c = (ptr as *const u8).read(); // we know the type here | |
| } | |
| let mut val = 2_u32; | |
| let ptr = &mut val as *mut u32; | |
| unsafe { | |
| let _a: i32 = (ptr as *mut _).read(); | |
| //~^ ERROR type annotations needed | |
| let b = ptr as *mut _; | |
| //~^ ERROR type annotations needed | |
| b.write(10); | |
| (ptr as *mut i32).write(1000); // we know the type here | |
| } | |
| } |