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.