[acconsta]

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

[dbaupp]

Yeah, everything is driven by implementing (or not, as appropriate) Send and Sync for types.