[vegai_]

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

[hawk_]

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