checker: add missing any type validation on assignment (fix #23905) (#23906)

felipensp · web-flow · commit 4e87a1ba092b · 2025-03-11T18:34:06.000+02:00
diff --git a/vlib/v/checker/assign.v b/vlib/v/checker/assign.v
@@ -329,6 +329,11 @@ fn (mut c Checker) assign_stmt(mut node ast.AssignStmt) {
 		}
 		node.left_types << left_type
 
+		if right is ast.StructInit {
+			right_sym := c.table.sym(right_type)
+			c.check_any_type(right_type, right_sym, right.pos())
+		}
+
 		if left is ast.ParExpr && is_decl {
 			c.error('parentheses are not supported on the left side of `:=`', left.pos())
 		}
diff --git a/vlib/v/checker/tests/assign_any_err.out b/vlib/v/checker/tests/assign_any_err.out
@@ -0,0 +1,7 @@
+vlib/v/checker/tests/assign_any_err.vv:3:8: error: cannot use type `any` here
+    1 | fn g[T](x T) {
+    2 |     for _ in 0 .. 10 {
+    3 |         _ := any{}
+      |              ~~~~~
+    4 |     }
+    5 | }
diff --git a/vlib/v/checker/tests/assign_any_err.vv b/vlib/v/checker/tests/assign_any_err.vv
@@ -0,0 +1,9 @@
+fn g[T](x T) {
+	for _ in 0 .. 10 {
+		_ := any{}
+	}
+}
+
+fn main() {
+	g[int](1)
+}

Original file line number	Diff line number	Diff line change
`@@ -329,6 +329,11 @@ fn (mut c Checker) assign_stmt(mut node ast.AssignStmt) {`
`329`	`329`	`}`
`330`	`330`	`node.left_types << left_type`
`331`	`331`
	`332`	`+ if right is ast.StructInit {`
	`333`	`+ right_sym := c.table.sym(right_type)`
	`334`	`+ c.check_any_type(right_type, right_sym, right.pos())`
	`335`	`+ }`
	`336`	`+`
`332`	`337`	`if left is ast.ParExpr && is_decl {`
`333`	`338`	c.error('parentheses are not supported on the left side of `:=`', left.pos())
`334`	`339`	`}`