Re:Never patterns, exhaustive matching, and uninhabited type...
by Rusky on Saturday August 18, 2018 @01:21PM
(#17789491)
That sounds exactly like an error of degree- Rust does have "no memory errors" proof tools already, built into the language.
[ Parent
| on HN ]
There are no comments on this comment yet.