Make the space in error comments optional by wyattscarpenter · Pull Request #19546 · python/mypy
added 6 commits
July 30, 2025 18:54
wyattscarpenter
changed the title
Update update_data.py: make the space in error comments optional
Make the space in error comments optional
wyattscarpenter added a commit to wyattscarpenter/mypy that referenced this pull request
Feb 24, 2026
There are some advanced edge cases that were indirectly described here or not described at all; this fixes that. This PR conflicts slightly with python#19546 as it documents the current behavior, not the improved behavior that relies less on spaces.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters