fix(gnovm): do not allow nil as type declaration (#3309)

Fix #3307 --------- Co-authored-by: hieu.ha <[email protected]>
gnolang · Dec 10, 2024 · ed4ebe8 · ed4ebe8
1 parent bb38fb1
commit ed4ebe8
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 1 deletion.
diff --git a/gnovm/pkg/gnolang/preprocess.go b/gnovm/pkg/gnolang/preprocess.go
@@ -4283,6 +4283,12 @@ func tryPredefine(store Store, last BlockNode, d Decl) (un Name) {
 				if isBlankIdentifier(tx) {
 					panic("cannot use _ as value or type")
 				}
+
+				// do not allow nil as type.
+				if tx.Name == "nil" {
+					panic("nil is not a type")
+				}
+
 				if tv := last.GetValueRef(store, tx.Name, true); tv != nil {
 					t = tv.GetType()
 					if dt, ok := t.(*DeclaredType); ok {

diff --git a/gnovm/tests/files/type40.gno b/gnovm/tests/files/type40.gno
@@ -43,4 +43,4 @@ func main() {
 // 5
 // 6
 // 7
-// yo
+// yo
diff --git a/gnovm/tests/files/type41.gno b/gnovm/tests/files/type41.gno
@@ -0,0 +1,9 @@
+package main
+
+type A nil
+
+func main() {
+}
+
+// Error:
+// main/files/type41.gno:3:6: nil is not a type
-Original file line number
+Diff line change
@@ Expand Up / @@ -43,4 +43,4 @@ func main() { @@
     // 5
     // 6
     // 7
-    // yo
+    // yo