Rust has algebraic types, so Spectre could be used to train the branch predictor to take one type case of your match statement, and then have that case taken wh

Rust has algebraic types, so Spectre could be used to train the branch predictor to take one type case of your match statement, and then have that case taken when the enum is actually in a different shape. That's a violation of the type system.