feat(checker): add diagnostics

examples/01_simple_type_checking/01_simple_operations.py

@@ -2,10 +2,3 @@ a: int = 3
 b: int = 4
 
 c = a + b  # -> int
-
-c = "invalid"  # -> can't assign str to int variable
-
-d = True
-e = d + d
-
-f: float = a

midas/parser/python.py

@@ -335,14 +335,13 @@ class PythonParser:
 
     def parse_compare(self, node: ast.Compare) -> Expr:
         ops: list[ast.cmpop] = node.ops
-        left: Expr = self.parse_expr(node.left)
         rights: list[Expr] = [self.parse_expr(expr) for expr in node.comparators]
         expr: Expr = CompareExpr(
             location=Location.span(
-                left.location,
                 rights[0].location,
+                rights[1].location,
             ),
-            left=left,
+            left=self.parse_expr(node.left),
             operator=ops[0],
             right=rights[0],
         )