Comment by codehero

"Type systems are hard!" As hard as its safety is pushed on us, not even Rust is free from hand waving.