If 100 goroutines are handled by 10 threads, the effect on correctness is identical: any two can be running in parallel with each other (not just concurrently). From the point of view of this discussion, that's all that matters.
Correctness is nice but performance characteristics exist too.
Correctness is nice but performance characteristics exist too.