Comment by acconsta

Ah, so Rust does represent thread semantics through types? It's curious that the authors don't mention that in their proposal.