27 lines
568 B
Rust
27 lines
568 B
Rust
// the following flag prevents this test from running on the host machine
|
|
// this should only be run on miri, because rust doesn't (yet?) optimize ZSTs of different types
|
|
// into the same memory location
|
|
// ignore-test
|
|
|
|
|
|
#[derive(PartialEq, Debug)]
|
|
struct A;
|
|
|
|
fn zst_ret() -> A {
|
|
A
|
|
}
|
|
|
|
fn use_zst() -> A {
|
|
let a = A;
|
|
a
|
|
}
|
|
|
|
fn main() {
|
|
assert_eq!(zst_ret(), A);
|
|
assert_eq!(use_zst(), A);
|
|
assert_eq!(&A as *const A as *const (), &() as *const _);
|
|
assert_eq!(&A as *const A, &A as *const A);
|
|
let x = 42 as *mut ();
|
|
unsafe { *x = (); }
|
|
}
|