cgen, markused: fix veb alias type identification and generic CastExpr (fix #24895) (#25155)

felipensp · web-flow · commit 42777f012526 · 2025-08-23T23:44:05.000+03:00
diff --git a/vlib/v/checker/checker.v b/vlib/v/checker/checker.v
@@ -3388,7 +3388,9 @@ fn (mut c Checker) cast_expr(mut node ast.CastExpr) ast.Type {
 	//        node.expr_type: `Inside`
 	//        node.typ: `Outside`
 	mut to_type := c.unwrap_generic(node.typ)
-
+	if node.typ.has_flag(.generic) {
+		c.table.used_features.comptime_syms[to_type] = true
+	}
 	old_inside_integer_literal_cast := c.inside_integer_literal_cast
 	c.inside_integer_literal_cast = to_type.is_int() && node.expr is ast.IntegerLiteral
 	node.expr_type = c.expr(mut node.expr) // type to be casted
diff --git a/vlib/v/checker/fn.v b/vlib/v/checker/fn.v
@@ -3936,7 +3936,7 @@ fn (mut c Checker) check_must_use_call_result(node &ast.CallExpr, f &ast.Fn, lab
 }
 
 fn (mut c Checker) has_veb_context(typ ast.Type) bool {
-	sym := c.table.sym(typ)
+	sym := c.table.final_sym(typ)
 	if sym.name == 'veb.Context' {
 		return true
 	} else if sym.info is ast.Struct {
diff --git a/vlib/v/markused/walker.v b/vlib/v/markused/walker.v
@@ -1377,7 +1377,7 @@ fn (mut w Walker) mark_resource_dependencies() {
 	if w.trace_enabled {
 		ptypes := w.table.used_features.print_types.keys().map(w.table.type_to_str(it))
 		eprintln('>>>>>>>>>> PRINT TYPES ${ptypes}')
-		stypes := w.uses_str.keys().map(w.table.type_to_str(it))
+		stypes := w.uses_str.keys().filter(it != 0).map(w.table.type_to_str(it))
 		eprintln('>>>>>>>>>> USES .str() CALLS ON TYPES ${stypes}')
 		ftypes := w.uses_free.keys().map(w.table.type_to_str(it))
 		eprintln('>>>>>>>>>> USES .free() CALLS ON TYPES ${ftypes}')
diff --git a/vlib/v/tests/generics/generic_alias_callback_test.v b/vlib/v/tests/generics/generic_alias_callback_test.v
@@ -0,0 +1,15 @@
+struct Foo[T] {
+	val T
+}
+
+type Bar[T] = fn (T) bool
+
+fn t[T](val T) {
+	_ := Bar[T](fn [T](a T) bool {
+		return true
+	})
+}
+
+fn test_main() {
+	t[int](1)
+}

Original file line number	Diff line number	Diff line change
`@@ -3936,7 +3936,7 @@ fn (mut c Checker) check_must_use_call_result(node &ast.CallExpr, f &ast.Fn, lab`
`3936`	`3936`	`}`
`3937`	`3937`
`3938`	`3938`	`fn (mut c Checker) has_veb_context(typ ast.Type) bool {`
`3939`		`- sym := c.table.sym(typ)`
	`3939`	`+ sym := c.table.final_sym(typ)`
`3940`	`3940`	`if sym.name == 'veb.Context' {`
`3941`	`3941`	`return true`
`3942`	`3942`	`} else if sym.info is ast.Struct {`