[sksxihve]

What mainstream language has type system features that make multi-threaded access to external resources safe?

Managing something like that is a design decision of the software being implemented not a responsibility of the language itself.

[pjmlp]

None, however the fearless concurrency sales pitch usually leaves that scenario as footnote.