10 lines
206 B
Rust
10 lines
206 B
Rust
// compile-flags: -Zmiri-seed=0000000000000000
|
|
|
|
fn main() {
|
|
let x = &42 as *const i32 as usize;
|
|
let y = x * 2;
|
|
assert_eq!(y, x + x);
|
|
let z = y as u8 as usize;
|
|
assert_eq!(z, y % 256);
|
|
}
|