[pcwalton]

Smalltalk is dynamically typed. How can it have a static type system feature?

[Manishearth]

(Yeah, just to clarify, in my comment above, I'm talking about systems similar to Rust's specific system for enforcing thread safety; not arbitrary systems that enforce thread safety in a different way)