Add tests for PEP 593 annotated generic aliases (python#7985)

ilevkivskyi · web-flow · commit 6347ba75f847 · 2019-11-20T15:47:07.000Z
Fixes python#7729
diff --git a/test-data/unit/check-annotated.test b/test-data/unit/check-annotated.test
@@ -63,3 +63,39 @@ reveal_type(x)  # N: Revealed type is 'Any'
 [case testAnnotatedNoImport]
 x: Annotated[int, ...]  # E: Name 'Annotated' is not defined
 reveal_type(x)  # N: Revealed type is 'Any'
+
+[case testAnnotatedDifferentName]
+from typing_extensions import Annotated as An
+x: An[int, ...]
+reveal_type(x)  # N: Revealed type is 'builtins.int'
+
+[case testAnnotatedAliasSimple]
+from typing import Tuple
+from typing_extensions import Annotated
+Alias = Annotated[Tuple[int, ...], ...]
+x: Alias
+reveal_type(x)  # N: Revealed type is 'builtins.tuple[builtins.int]'
+
+[case testAnnotatedAliasTypeVar]
+from typing import TypeVar
+from typing_extensions import Annotated
+T = TypeVar('T')
+Alias = Annotated[T, ...]
+x: Alias[int]
+reveal_type(x)  # N: Revealed type is 'builtins.int'
+
+[case testAnnotatedAliasGenericTuple]
+from typing import TypeVar, Tuple
+from typing_extensions import Annotated
+T = TypeVar('T')
+Alias = Annotated[Tuple[T, T], ...]
+x: Alias[int]
+reveal_type(x)  # N: Revealed type is 'Tuple[builtins.int, builtins.int]'
+
+[case testAnnotatedAliasGenericUnion]
+from typing import TypeVar, Union
+from typing_extensions import Annotated
+T = TypeVar('T')
+Alias = Annotated[Union[T, str], ...]
+x: Alias[int]
+reveal_type(x)  # N: Revealed type is 'Union[builtins.int, builtins.str]'
