From b0185288336f148b71240514b9fa61deeb31c8b4 Mon Sep 17 00:00:00 2001
From: Feoramund <161657516+Feoramund@users.noreply.github.com>
Date: Mon, 19 May 2025 20:29:01 -0400
Subject: [PATCH] Do not call disabled deferred procedures

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

diff --git a/src/checker.cpp b/src/checker.cpp
index 909ee705b..aaa815365 100644
--- a/src/checker.cpp
+++ b/src/checker.cpp
@@ -6325,6 +6325,12 @@ gb_internal void check_deferred_procedures(Checker *c) {
 			continue;
 		}
 
+		if (dst->flags & EntityFlag_Disabled) {
+			// Prevent procedures that have been disabled from acting as deferrals.
+			src->Procedure.deferred_procedure = {};
+			continue;
+		}
+
 		GB_ASSERT(is_type_proc(src->type));
 		GB_ASSERT(is_type_proc(dst->type));
 		Type *src_params = base_type(src->type)->Proc.params;