4 ms·
Because you're always going to write some code that the tools can't reason about.
by saagarjha 1y ago
Because you're always going to write some code that the tools can't reason about.
- throwawaymaths 1y agothats true for rust too (hence "unsafe")