//@ check-pass | |
//@ needs-asm-support | |
//@ only-x86_64 | |
// This demonstrates why we need to erase regions before sized check in intrinsicck | |
struct NoCopy; | |
struct Wrap<'a, T, Tail: ?Sized>(&'a T, Tail); | |
pub unsafe fn test() { | |
let i = NoCopy; | |
let j = Wrap(&i, ()); | |
let pointer = &j as *const _; | |
core::arch::asm!( | |
"nop", | |
in("eax") pointer, | |
); | |
} | |
fn main() {} |