2 ms·

Rather it's like taking a statically typed language and making all type annotations inferrable.

• hawk_ 5y ago
  If they were made inferrable, it wouldn't cause runtime exceptions. Here the data race guarantees of rust type system are elided instead.