From b9d3129fb3a4ba7ef49cea69d086a7f705819f2e Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Sat, 31 Aug 2019 20:13:28 +0100
Subject: `where` clauses for procedure literals

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

(limited to 'src/checker.cpp')

diff --git a/src/checker.cpp b/src/checker.cpp
index b00b4bbac..8fe71b63c 100644
--- a/src/checker.cpp
+++ b/src/checker.cpp
@@ -3697,6 +3697,14 @@ void check_proc_info(Checker *c, ProcInfo pi) {
 		return;
 	}
 
+	if (pt->is_polymorphic && pt->is_poly_specialized) {
+		Entity *e = pi.decl->entity;
+		if ((e->flags & EntityFlag_Used) == 0) {
+			// NOTE(bill, 2019-08-31): It was never used, don't check
+			return;
+		}
+	}
+
 	bool bounds_check    = (pi.tags & ProcTag_bounds_check)    != 0;
 	bool no_bounds_check = (pi.tags & ProcTag_no_bounds_check) != 0;
 
-- 
cgit v1.2.3