explicit type got from dict.get (#1576)

Author: tharvik

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:

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