Error in goroutine's MiGo type

[antonis19]

The MiGo types extracted for this program twobuyers.go have an issue. For the buyer1 goroutine migoinfer gets the order and type of operations right, but the operations are presented as happening on the same channel, when in the program they happen on different channels.

These are the generated MiGo types: twobuyers.cgo As can be seen on lines 25, 26 and 27 the operations are erroneously presented as happening on the same channel.