Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created November 14, 2025 10:02
Show Gist options

  • Select an option

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

Select an option

Learn more about clone URLs
Save mypy-play/a2d228294e0a7a613472376043c62642 to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
from typing import NotRequired, TypedDict
class Foo(TypedDict):
key1: NotRequired[str]
key2: NotRequired[int]
foo = Foo()
for key in "key1", "key2":
reveal_type(key)
del foo[key]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment