fix(checker): record instantiated poly proc on selector when used as a proc value

This commit is contained in:
Fernando Nunes committed 2026-09-25 07:45:33 -03:00
1 parent f1fd03364d
commit a5e80c7530
4 files changed
+29 -1

No files matched your search

+6 -1
View File
@@ -951,7 +951,12 @@ gb_internal i64 check_distance_between_types(CheckerContext *c, Operand *operand
if (check_polymorphic_procedure_assignment(c, operand, type, operand->expr, &poly_proc_data)) {
Entity *e = poly_proc_data.gen_entity;
add_type_and_value(c, operand->expr, Addressing_Value, e->type, {});
add_entity_use(c, operand->expr, e);
Ast *expr = unparen_expr(operand->expr);
if (expr->kind == Ast_SelectorExpr) {
add_entity_use(c, expr->SelectorExpr.selector, e);
} else {
add_entity_use(c, operand->expr, e);
}
return 4;
}