Make decorator more complicated (both b.deco and a.g are now deferred)

Guido van Rossum · Guido van Rossum · commit d1778da9b174 · 2016-10-24T08:46:06.000-07:00
diff --git a/test-data/unit/check-modules.test b/test-data/unit/check-modules.test
@@ -1280,15 +1280,21 @@ import a
 [file a.py]
 import b
 def g() -> None:
-    f()
+    f('')
 @b.deco
-def f() -> int: pass
+def f(a: str) -> int: pass
+reveal_type(f)
 x = 1 + 1
 [file b.py]
-from typing import Any
+from typing import Callable, TypeVar
 import a
-def deco(f: Any) -> Any:
+T = TypeVar('T')
+def deco(f: Callable[[T], int]) -> Callable[[T], int]:
     a.x
+    return f
+[out]
+main:1: note: In module imported here:
+tmp/a.py:6: error: Revealed type is 'def (builtins.str*) -> builtins.int'
 
 
 -- Scripts and __main__
