Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created March 12, 2026 23:21
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save mypy-play/1098cf1ae7d339fb6d72474c9a90d2fb to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save mypy-play/1098cf1ae7d339fb6d72474c9a90d2fb to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
def f(x, y) -> None:
z: str = 0
reveal_type((x, y))
def g(x: int, y: str):
z: str = 0
reveal_type((x, y))
def h(x, y):
z: str = 0
reveal_type((x, y))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment