Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created November 15, 2025 08:36
Show Gist options

  • Select an option

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

Select an option

Learn more about clone URLs
Save mypy-play/61e9b90051f8284765ef1b4a37fd5247 to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
from enum import Enum, auto
class Thing(Enum):
ONE = auto()
async def main(foo: Thing) -> None:
print(obj)
match foo:
case Thing.ONE:
pass
obj = object()
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment