Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created January 16, 2026 01:45
Show Gist options

  • Select an option

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

Select an option

Learn more about clone URLs
Save mypy-play/efa01b423c6f56db2042f3dbce0d01df to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
from logging.config import _FormatterConfigurationTypedDict
# This should error - "()" is not a valid key
formatter_config: _FormatterConfigurationTypedDict = {
"()": "logging.Formatter",
"format": "%(message)s",
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment