3 ms·

Rust's type system is sound. There are some known bugs in the compiler, however.

• saagarjha 2y ago
  Has this been verified somewhere?