FWIW, Rust doesn't have specialization yet because they're really hard to get right without introducing new undefined behaviors. This doesn't mean that it's no

FWIW, Rust doesn't have specialization yet because they're really hard to get right without introducing new undefined behaviors. This doesn't mean that it's not possible to achieve a safe subset of C++ that supports template specialization, but it suggests that we aren't going to see it any time soon.