fix: prevent assignment to native type

gnolang · Oct 2, 2024 · 0563a00 · 0563a00
1 parent fa45914
commit 0563a00
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/gnovm/pkg/gnolang/preprocess.go b/gnovm/pkg/gnolang/preprocess.go
@@ -2031,6 +2031,10 @@ func Preprocess(store Store, ctx BlockNode, n Node) Node {
 							// General case: a, b = x, y.
 							for i, lx := range n.Lhs {
 								lt := evalStaticTypeOf(store, last, lx)
+								if _, ok := lt.(*NativeType); ok {
+									panic("assignment to native type is not permitted")
+								}
+
 								// if lt is interface, nothing will happen
 								checkOrConvertType(store, last, &n.Rhs[i], lt, true)
 							}

diff --git a/gnovm/tests/files/assign29_native.gno b/gnovm/tests/files/assign29_native.gno
@@ -0,0 +1,12 @@
+package main
+
+import "time"
+
+func main() {
+	time.Now = func() time.Time {
+		return time.Time{}
+	}
+}
+
+// Error:
+// main/files/assign29_native.gno:6:2: assignment to native type is not permitted