From ad460bc4a2719113869db281f4bfc4364b8a0109 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Sat, 27 May 2023 23:15:45 +0200
Subject: [PATCH] Fix references to unbound types not being reported

---
 src/Checker.cc | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/Checker.cc b/src/Checker.cc
index 9341fac9d..96a0ccffd 100644
--- a/src/Checker.cc
+++ b/src/Checker.cc
@@ -570,9 +570,7 @@ namespace bolt {
         auto RefTE = static_cast<ReferenceTypeExpression*>(N);
         auto Ty = lookupMono(RefTE->Name->getCanonicalText());
         if (Ty == nullptr) {
-          if (Config.typeVarsRequireForall()) {
-            DE.add<BindingNotFoundDiagnostic>(RefTE->Name->getCanonicalText(), RefTE->Name);
-          }
+          DE.add<BindingNotFoundDiagnostic>(RefTE->Name->getCanonicalText(), RefTE->Name);
           Ty = createTypeVar();
         }
         N->setType(Ty);