From f6a087775e0a7baf97bce7b1ebb59b223b10d047 Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Tue, 25 Jan 2022 12:39:06 +0000
Subject: [PATCH] Disable early return from `check_proc_info`

---
 src/checker.cpp           | 13 +++++++------
 src/llvm_backend_proc.cpp |  2 +-
 2 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/src/checker.cpp b/src/checker.cpp
index b81d9987b..9be64e369 100644
--- a/src/checker.cpp
+++ b/src/checker.cpp
@@ -4855,12 +4855,13 @@ bool check_proc_info(Checker *c, ProcInfo *pi, UntypedExprInfoMap *untyped, Proc
 		return false;
 	}
 
-	if (pt->is_polymorphic && pt->is_poly_specialized) {
-		if ((e->flags & EntityFlag_Used) == 0) {
-			// NOTE(bill, 2019-08-31): It was never used, don't check
-			return false;
-		}
-	}
+	// NOTE(bill, 2022-01-25): Appears to be not needed any more
+	// if (pt->is_polymorphic && pt->is_poly_specialized) {
+	// 	if ((e->flags & EntityFlag_Used) == 0) {
+	// 		// NOTE(bill, 2019-08-31): It was never used, don't check
+	// 		return false;
+	// 	}
+	// }
 
 	bool bounds_check    = (pi->tags & ProcTag_bounds_check)    != 0;
 	bool no_bounds_check = (pi->tags & ProcTag_no_bounds_check) != 0;
diff --git a/src/llvm_backend_proc.cpp b/src/llvm_backend_proc.cpp
index b35c6c304..9f9fe7c7a 100644
--- a/src/llvm_backend_proc.cpp
+++ b/src/llvm_backend_proc.cpp
@@ -61,7 +61,7 @@ lbProcedure *lb_create_procedure(lbModule *m, Entity *entity, bool ignore_body)
 	GB_ASSERT(entity != nullptr);
 	GB_ASSERT(entity->kind == Entity_Procedure);
 	if (!entity->Procedure.is_foreign) {
-		GB_ASSERT(entity->flags & EntityFlag_ProcBodyChecked);
+		GB_ASSERT_MSG(entity->flags & EntityFlag_ProcBodyChecked, "%.*s :: %s", LIT(entity->token.string), type_to_string(entity->type));
 	}
 
 	String link_name = {};