mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-07-11 02:19:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix #6907

Browse Source
This commit is contained in:
gingerBill
2026-06-29 13:47:46 +01:00
parent 7d32c733d3
commit 37c349e604
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/checker.cpp
View File

@@ -6894,7 +6894,10 @@ gb_internal void check_deferred_procedures(Checker *c) {
continue;
}
GB_ASSERT(is_type_proc(src->type));
if (!is_type_proc(src->type)) {
error(src->token, "Invalid procedure type found during deferred procedure checking");
continue;
}
GB_ASSERT(is_type_proc(dst->type));
Type *src_params = base_type(src->type)->Proc.params;
Type *src_results = base_type(src->type)->Proc.results;