Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created April 25, 2024 23:28
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 mypy-play/c86869f7377940c5d6bd960fe2d944d8 to your computer and use it in GitHub Desktop.
Save mypy-play/c86869f7377940c5d6bd960fe2d944d8 to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
i: int
s: str
if i == s:
print("hi")
a: int | str
b: str | range
if a == b:
print("hi")
c: int | None
d: str | None
if c == d:
print("hi")
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment