fix: typechecker did not catch diff types for == and != operators

src/types/__snapshots__/resolveStatements.spec.ts.snap

@@ -250,6 +250,16 @@ Line 23, col 18:
 "
 `;
 
+exports[`resolveStatements should fail statements for case-25 1`] = `
+"<unknown>:5:12: Incompatible types "Int" and "Bool" for binary operator "=="
+Line 5, col 12:
+  4 | fun foo(x: Int): Bool {
+> 5 |     return x == true;
+                 ^~~~~~~~~
+  6 | }
+"
+`;
+
 exports[`resolveStatements should resolve statements for case-0 1`] = `
 [
   [

src/types/resolveExpression.ts

@@ -135,7 +135,7 @@ function resolveBinaryOp(exp: ASTOpBinary, sctx: StatementContext, ctx: Compiler
                 if (l.kind !== 'ref' || r.kind !== 'ref') {
                     throwError(`Incompatible types "${printTypeRef(le)}" and "${printTypeRef(re)}" for binary operator "${exp.op}"`, exp.ref);
                 }
-                if (r.name !== r.name) {
+                if (l.name !== r.name) {
                     throwError(`Incompatible types "${printTypeRef(le)}" and "${printTypeRef(re)}" for binary operator "${exp.op}"`, exp.ref);
                 }
                 if (r.name !== 'Int' && r.name !== 'Bool' && r.name !== 'Address' && r.name !== 'Cell') {

src/types/stmts-failed/case-25.tact

@@ -0,0 +1,6 @@
+primitive Int;
+primitive Bool;
+
+fun foo(x: Int): Bool {
+    return x == true;
+}