diff --git a/mypy/checker.py b/mypy/checker.py
index 918e433d3761..33f23312918b 100644
--- a/mypy/checker.py
+++ b/mypy/checker.py
@@ -204,7 +204,7 @@ def pop_frame(self, canskip=True, fallthrough=False) -> Tuple[bool, Frame]:
         """
         result = self.frames.pop()
 
-        options = self.frames_on_escape.pop(len(self.frames) - 1, [])
+        options = self.frames_on_escape.pop(len(self.frames) - 1, [])  # type: List[Frame]
         if canskip:
             options.append(self.frames[-1])
         if fallthrough:
diff --git a/mypy/solve.py b/mypy/solve.py
index 7fbd07c8f6c2..a2cfa282eec7 100644
--- a/mypy/solve.py
+++ b/mypy/solve.py
@@ -23,7 +23,7 @@ def solve_constraints(vars: List[int], constraints: List[Constraint],
     # Collect a list of constraints for each type variable.
     cmap = {}  # type: Dict[int, List[Constraint]]
     for con in constraints:
-        a = cmap.get(con.type_var, [])
+        a = cmap.get(con.type_var, [])  # type: List[Constraint]
         a.append(con)
         cmap[con.type_var] = a