diff --git a/src/checker.cpp b/src/checker.cpp index 0ac787e00..bfcabe4fa 100644 --- a/src/checker.cpp +++ b/src/checker.cpp @@ -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();