Has Swift's concurrency model gone too far?

It's still in pitch form, but you can check it out.

Yes, would apply to may things, including globals! It doesn't affect your ability to control isolation statically, only what the compiler infers when there's nothing else to go on.