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

Fix #4763

Browse Source
This commit is contained in:
gingerBill
2025-01-31 09:30:15 +00:00
parent a94ffefba3
commit 2af60b8767
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/checker.cpp
View File

@@ -6319,6 +6319,10 @@ gb_internal void check_deferred_procedures(Checker *c) {
continue;
}
if (dst_params == nullptr) {
error(src->token, "Deferred procedure must have parameters for %s", attribute);
continue;
}
GB_ASSERT(dst_params->kind == Type_Tuple);
Type *tsrc = alloc_type_tuple();