checker: allow generic operators to be called in fn (fix #23773) (#23774

)
vlang · Feb 21, 2025 · e613211 · e613211
1 parent 6d017f3
commit e613211
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 2 deletions.
diff --git a/vlib/v/checker/infix.v b/vlib/v/checker/infix.v
@@ -112,8 +112,8 @@ fn (mut c Checker) infix_expr(mut node ast.InfixExpr) ast.Type {
 		}
 	}
 	mut right_sym := c.table.sym(right_type)
-	right_final_sym := c.table.final_sym(right_type)
-	left_final_sym := c.table.final_sym(left_type)
+	right_final_sym := c.table.final_sym(c.unwrap_generic(right_type))
+	left_final_sym := c.table.final_sym(c.unwrap_generic(left_type))
 	left_pos := node.left.pos()
 	right_pos := node.right.pos()
 	left_right_pos := left_pos.extend(right_pos)

diff --git a/vlib/v/tests/generics/generic_alias_fn_op_call_test.v b/vlib/v/tests/generics/generic_alias_fn_op_call_test.v
@@ -0,0 +1,15 @@
+module main
+
+type MyAlias = f32
+
+const two = MyAlias(2)
+
+fn mul[T](a T, b T) T {
+	return a * b
+}
+
+fn test_generic_alias_fn_op_call() {
+	assert mul[MyAlias](two, two) == f32(4.0)
+	assert mul[f32](two, two) == f32(4.0)
+	assert two * two == f32(4.0)
+}