vm.go/l.call doesn't seem to be reentrant (though I'm not native go speaker). This means that yielding across, e.g. for-loop [edit:]iterators, would leave vm with broken invariants. There are also pcalls that must be dealt with. But since this language is just similar and differs in too many things, explicit restrictions may help solve that, like it was done for <= 5.1.