From bb2e7e60ce01d49b1f4ab5bee31b2bb1d0a2a9b5 Mon Sep 17 00:00:00 2001
From: Richard Nyberg <6951623+rmn64k@users.noreply.github.com>
Date: Sat, 11 Jul 2026 18:46:24 +0200
Subject: [PATCH] Reject chained deferred procedures.

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

diff --git a/src/checker.cpp b/src/checker.cpp
index cfbd5153a..7bcb06d05 100644
--- a/src/checker.cpp
+++ b/src/checker.cpp
@@ -6884,6 +6884,13 @@ gb_internal void check_deferred_procedures(Checker *c) {
 			continue;
 		}
 
+		if (entity_has_deferred_procedure(dst)) {
+			error(src->token,
+			      "Deferred procedure '%.*s' cannot be used as the target of '%.*s' because it has a deferred procedure itself (deferred procedure chaining is not allowed)",
+			      LIT(dst->token.string), LIT(src->token.string));
+			continue;
+		}
+
 		if (is_type_polymorphic(src->type) || is_type_polymorphic(dst->type)) {
 			error(src->token, "'%s' cannot be used with a polymorphic procedure", attribute);
 			continue;