16 lines
432 B
Rust
16 lines
432 B
Rust
|
// Test for the behavior described in <https://github.com/rust-lang/rust/issues/87184>.
|
||
|
|
#![feature(const_mut_refs, const_raw_ptr_deref)]
|
||
|
|
|
||
|
|
const PARTIAL_OVERWRITE: () = {
|
||
|
|
let mut p = &42;
|
||
|
|
unsafe {
|
||
|
|
let ptr: *mut _ = &mut p;
|
||
|
|
*(ptr as *mut u8) = 123; //~ ERROR any use of this value
|
||
|
|
//~| unable to overwrite parts of a pointer
|
||
|
|
//~| WARN previously accepted
|
||
|
|
}
|
||
|
|
let x = *p;
|
||
|
|
};
|
||
|
|
|
||
|
|
fn main() {}
|