From 2af60b8767d8675fa4a09d24bf661c9ac29cdc47 Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Fri, 31 Jan 2025 09:30:15 +0000
Subject: [PATCH] Fix #4763

---
 src/checker.cpp | 4 ++++
 1 file changed, 4 insertions(+)

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();