Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created February 4, 2025 07:23
Show Gist options
  • Save mypy-play/2490355957c6c7f648a9c1e28f0b052f to your computer and use it in GitHub Desktop.
Save mypy-play/2490355957c6c7f648a9c1e28f0b052f to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
def func() -> dict[str, str]:
x = {} ## error here for annot
return x
@dibrinsofor
Copy link

Possible refinement bug

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment