diff --git a/tests/cases/checker/02_simple_operations.py.ref.json b/tests/cases/checker/02_simple_operations.py.ref.json
index 6952790..654af17 100644
--- a/tests/cases/checker/02_simple_operations.py.ref.json
+++ b/tests/cases/checker/02_simple_operations.py.ref.json
@@ -13,20 +13,6 @@
         ]
       },
       "message": "Cannot assign BaseType(name='str') to c of type BaseType(name='int')"
-    },
-    {
-      "type": "Error",
-      "location": {
-        "start": [
-          9,
-          4
-        ],
-        "end": [
-          9,
-          9
-        ]
-      },
-      "message": "Undefined operation __add__ between BaseType(name='bool') and BaseType(name='bool')"
     }
   ],
   "judgments": [
@@ -172,7 +158,9 @@
           "name": "d"
         }
       },
-      "type": {}
+      "type": {
+        "name": "int"
+      }
     },
     {
       "location": {
diff --git a/tests/cases/checker/06_subtyping.py.ref.json b/tests/cases/checker/06_subtyping.py.ref.json
index c3482bc..689402e 100644
--- a/tests/cases/checker/06_subtyping.py.ref.json
+++ b/tests/cases/checker/06_subtyping.py.ref.json
@@ -1,34 +1,5 @@
 {
-  "diagnostics": [
-    {
-      "type": "Error",
-      "location": {
-        "start": [
-          12,
-          5
-        ],
-        "end": [
-          12,
-          12
-        ]
-      },
-      "message": "Undefined operation __add__ between BaseType(name='int') and BaseType(name='float')"
-    },
-    {
-      "type": "Error",
-      "location": {
-        "start": [
-          12,
-          0
-        ],
-        "end": [
-          12,
-          12
-        ]
-      },
-      "message": "Cannot assign UnknownType() to v3 of type BaseType(name='float')"
-    }
-  ],
+  "diagnostics": [],
   "judgments": [
     {
       "location": {
@@ -214,7 +185,9 @@
           "name": "v2"
         }
       },
-      "type": {}
+      "type": {
+        "name": "float"
+      }
     }
   ]
 }
\ No newline at end of file