I can't find anything on this in the spec.

No, it doesn't affect code generation, it's mostly for type checker to help write concurrent code, not to do it instead of you.