> To be honest, it wasn't particularly useful, because it requires runtime checks which panic if they fail.

Checking at runtime is 100% still incredibly useful. That's how you enforce critical program invariants to avoid security vulnerabilities or prevent invalid states that could ruin the program's data.