2 ms·

>>The result is fast code that's more correct and secure than average. Welcome to Rust

• Ohentis 8d ago
  I mean... rust alone doesn't have this feature. And many languages have a "slap z3 onto it" tool.