[mypyc] Support nested functions without type annotations (#7545)

msullivan · web-flow · commit 00530dbc09e8 · 2019-09-21T09:53:08.000-07:00
... this was actually as simple as removing an assert.
diff --git a/mypyc/genops.py b/mypyc/genops.py
@@ -4686,8 +4686,6 @@ def setup_func_for_recursive_call(self, fdef: FuncDef, base: ImplicitClass) -> N
         environment so that the function can be called recursively. Note that this needs to be done
         only for nested functions.
         """
-        assert fdef.type is not None
-
         # First, set the attribute of the environment class so that GetAttr can be called on it.
         prev_env = self.fn_infos[-2].env_class
         prev_env.attributes[fdef.name()] = self.type_to_rtype(fdef.type)
diff --git a/mypyc/test-data/run-functions.test b/mypyc/test-data/run-functions.test
@@ -146,7 +146,7 @@ def while_loop() -> int:
 def free_vars(foo: int, bar: int) -> int:
     x = 1
     y = 2
-    def g() -> None:
+    def g():  # type: ignore  # missing type annotation for testing
         nonlocal y
         y = 3
         nonlocal bar
