// SOUNDNESS EXPLOIT: Token aliasing bypasses CPU feature checks.
//
// This file renames a lower-tier token to a higher-tier name via `use ... as`.
// The #[arcane] macro does name-based feature lookup, so it generates
// #[target_feature(enable = "avx2,fma,...")] (V3 features) even though
// the actual token is X64V2Token (only proves SSE4.2 + POPCNT).
//
// On a CPU with SSE4.2 but no AVX2, calling `evil()` would be undefined behavior.
//
// THIS TEST COMPILING IS A BUG. When fixed, move to compile_fail/.
use ;
use X64V2Token as X64V3Token;