Skip to content

Instantly share code, notes, and snippets.

@FooBarQuaxx

FooBarQuaxx/pycharm-type-checking.py

Last active July 17, 2020 15:13
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save FooBarQuaxx/85d51a0638a46fd189339380b92a41dd to your computer and use it in GitHub Desktop.
Save FooBarQuaxx/85d51a0638a46fd189339380b92a41dd to your computer and use it in GitHub Desktop.
Download ZIP
Raw
pycharm-type-checking.py
from typing import List, Tuple, TypeVar
X = TypeVar("X")
Z = Tuple[X, int]
# mypy: OK; PyCharm: KO
def f0() -> Z[List[str]]:
return ["a"], 0
# mypy: KO; PyCharm: OK
def f1() -> Z[List[str], int]:
return ["a"], 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment