fix: verify type is ok

gnolang · May 26, 2024 · c328ed5 · c328ed5
1 parent e1b0dc0
commit c328ed5
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 1 deletion.
diff --git a/gnovm/pkg/gnolang/preprocess.go b/gnovm/pkg/gnolang/preprocess.go
@@ -1857,7 +1857,10 @@ func Preprocess(store Store, ctx BlockNode, n Node) Node {
 				tvs := make([]TypedValue, numNames)
 				if numNames > 1 && len(n.Values) == 1 {
 					// special case if `var a, b, c T? = f()` form.
-					cx := n.Values[0].(*CallExpr)
+					cx, ok := n.Values[0].(*CallExpr)
+					if !ok {
+						panic("should not happen")
+					}
 					tt := evalStaticTypeOfRaw(store, last, cx).(*tupleType)
 					if len(tt.Elts) != numNames {
 						panic("should not happen")

diff --git a/gnovm/tests/files/var18.gno b/gnovm/tests/files/var18.gno
@@ -0,0 +1,7 @@
+package main
+
+func main() {
+	a, b := 1
+}
+
+// main/files/var18.gno:3: should not happen
diff --git a/gnovm/tests/files/var19.gno b/gnovm/tests/files/var19.gno
@@ -0,0 +1,11 @@
+package main
+
+func main() {
+	a, b, c := 1, a+1
+	println(a)
+	println(b)
+	println(c)
+}
+
+// Error:
+// main/files/var19.gno:4: name a not declared