mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-06-19 16:42:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Compiler: Improve error propagation when all of the overloads have the same return values

Browse Source
This commit is contained in:
gingerBill
2026-06-16 15:26:01 +01:00
parent 5e53cba0dc
commit 3a5439f60e
1 changed files with 24 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
src/check_expr.cpp
View File

@@ -7811,6 +7811,30 @@ gb_internal CallArgumentData check_call_arguments_proc_group(CheckerContext *c,
}
data.result_type = t_invalid;
if (procs.count > 0) {
Type *first_type = base_type(procs[0]->type);
GB_ASSERT(first_type->kind == Type_Proc);
Type *first_results = first_type->Proc.results;
bool all_the_same = true;
for (isize i = 1; i < procs.count; i++) {
Type *type = base_type(procs[i]->type);
if (type->kind != Type_Proc) {
all_the_same = false;
break;
}
Type *results = type->Proc.results;
if (!are_types_identical(first_results, results)) {
all_the_same = false;
break;
}
}
if (all_the_same) {
GB_ASSERT_MSG(is_type_tuple(first_results), "%s", type_to_string(first_results));
data.result_type = first_results;
}
}
} else if (valids.count > 1) {
ERROR_BLOCK();