From bf6302b173e54cf86fee756468c0c7d5a4817002 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Fri, 16 Sep 2022 10:53:36 +0200
Subject: [PATCH] Fix remaining TypeScript type error

---
 src/checker.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/checker.ts b/src/checker.ts
index e99a745df..ea72a2fcf 100644
--- a/src/checker.ts
+++ b/src/checker.ts
@@ -487,7 +487,7 @@ class KArrow extends KindBase {
   }
 
   public hasFailed(): boolean {
-    return this.flags & KindFlags.UnificationFailed
+    return (this.flags & KindFlags.UnificationFailed) > 0
         || this.left.hasFailed()
         || this.right.hasFailed();
   }