fix(gnolang): prescriptively reject *ast.(IndexListExpr, GoStmt) as u…

…nrecognized for Gno

The *ast.IndexListExpr is used for generics but in assignment operations
it is illegal to use. This change returns a proper error and matches
Go's output.
Also *ast.GoStmt is for spawning Go routines but those are forbidden
in Gno, hence reject them prescriptively instead of just spewing
out the raw ast type.

Fixes #3731
Updates #3751

gnovm/pkg/gnolang/go2gno.go

@@ -496,6 +496,13 @@ func Go2Gno(fs *token.FileSet, gon ast.Node) (n Node) {
 		}
 	case *ast.EmptyStmt:
 		return &EmptyStmt{}
+	case *ast.IndexListExpr:
+		if len(gon.Indices) > 1 {
+			panic(&LocationPlusError{posn(), "invalid operation: more than one index"})
+		}
+		panic(&LocationPlusError{posn(), "invalid operation: indexList is not permitted in Gno"})
+	case *ast.GoStmt:
+		panic(&LocationPlusError{posn(), "goroutines are not permitted"})
 	default:
 		panic(&LocationPlusError{posn(), fmt.Sprintf("unknown Go type %v: %s\n",
 			reflect.TypeOf(gon),

gnovm/tests/files/goroutine_not_supported.gno

@@ -0,0 +1,16 @@
+// https://github.com/gnolang/gno/issues/3751
+
+package math
+
+import "testing"
+
+func Add(a, b int) int {
+    return a + b
+}
+
+func TestAdd(t *testing.T) {
+    go Add(1, 1)
+}
+
+// Error:
+// goroutine_not_supported.gno:12:5: goroutines are not permitted

gnovm/tests/files/parse_indexListExpr.gno

@@ -0,0 +1,16 @@
+// https://github.com/gnolang/gno/issues/3731
+
+package main
+
+type node struct {
+	r []int
+}
+
+func (n *node) foo(targ, wndex int) {
+	_ = n.r[targ, wndex]
+}
+
+func main() {}
+
+// ERROR:
+// parse_indexListExpr.gno:10:6: invalid operation: more than one index