From efac190973d0f427a83b2b15be9aeca1354501cd Mon Sep 17 00:00:00 2001
From: Sathya Gunasekaran <gsathya.ceg@gmail.com>
Date: Wed, 4 Jan 2023 18:09:25 +0000
Subject: [PATCH] [typer] Make type inference more conservative

It's not entirely correct to infer arguments to (not) equals operator as
primitives.
---
 compiler/forget/src/HIR/InferTypes.ts | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/compiler/forget/src/HIR/InferTypes.ts b/compiler/forget/src/HIR/InferTypes.ts
index 4226ec6340..ab065c1108 100644
--- a/compiler/forget/src/HIR/InferTypes.ts
+++ b/compiler/forget/src/HIR/InferTypes.ts
@@ -25,10 +25,6 @@ function isPrimitiveBinaryOp(op: t.BinaryExpression["operator"]) {
     case ">>":
     case "<<":
     case "^":
-    case "==":
-    case "==":
-    case "!=":
-    case "!=":
     case ">":
     case "<":
     case ">=":