From 7d4754a761a06d13ccdbb4dcf113d3085bd9284f Mon Sep 17 00:00:00 2001 From: hauntsaninja <> Date: Thu, 26 Nov 2020 14:13:47 -0800 Subject: [PATCH] Add test for PEP 614 --- test-data/unit/check-python39.test | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/test-data/unit/check-python39.test b/test-data/unit/check-python39.test index 0e9ec683aec0..02769d7b8524 100644 --- a/test-data/unit/check-python39.test +++ b/test-data/unit/check-python39.test @@ -7,3 +7,13 @@ def f(a: 'A', b: 'B') -> None: pass f(a=A(), b=B(), a=A()) # E: "f" gets multiple values for keyword argument "a" class A: pass class B: pass + + +[case testPEP614] +from typing import Callable, List + +decorator_list: List[Callable[..., Callable[[int], str]]] +@decorator_list[0] +def f(x: float) -> float: ... +reveal_type(f) # N: Revealed type is 'def (builtins.int) -> builtins.str' +[builtins fixtures/list.pyi]