Miri errors when transmuting part of a pointer to an integer

[GoldsteinE]

This program triggers Miri:

fn main() {
    let x: [u8; 8] = unsafe { std::mem::transmute(&0) };
    println!("{x:?}");
}

But these two don’t:

fn main() {
    let x: usize = unsafe { std::mem::transmute(&0) };
    println!("{x:?}");
}

fn main() {
    let x: [u8; 8] = unsafe { std::mem::transmute(std::mem::transmute::<_, usize>(&0)) };
    println!("{x:?}");
}

It looks like it should trigger in all of these snippets.

[RalfJung]

Thanks for the report!

The intention is that Miri should not trigger on any of these snippets, they should all be allowed.