This particular code will have a bounds check for x * 4 and panic if it's too large, thus inhibiting vectorization in most cases.

Just as a tidbit, to dig deeper into Rust.

How can I provide some quick evidence for this? Well there's a method called u64::unchecked_shr that acts as contrasting evidence.