From eef23feb1c55ea37f71288fe2a3e12c58625fefb Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Sat, 3 Jun 2023 11:20:22 +0200
Subject: [PATCH] Fix bug in TApp case of Type::hasTypeVar()

---
 src/Types.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Types.cc b/src/Types.cc
index 80f85d836..1b8cc43f3 100644
--- a/src/Types.cc
+++ b/src/Types.cc
@@ -241,7 +241,7 @@ namespace bolt {
       case TypeKind::App:
       {
         auto App = static_cast<TApp*>(this);
-        return App->Op->hasTypeVar(TV) && App->Arg->hasTypeVar(TV);
+        return App->Op->hasTypeVar(TV) || App->Arg->hasTypeVar(TV);
       }
       case TypeKind::TupleIndex:
       {