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 deep

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.