https://github.com/jwodder/mypy-bug-20220227

MVCE for a mypy bug
https://github.com/jwodder/mypy-bug-20220227

bug-reproduction

Last synced: 7 days ago
JSON representation

MVCE for a mypy bug

• Host: GitHub
• URL: https://github.com/jwodder/mypy-bug-20220227
• Owner: jwodder
• License: mit
• Created: 2022-02-27T21:15:03.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2022-02-27T21:34:43.000Z (over 2 years ago)
• Last Synced: 2023-04-09T18:38:19.065Z (over 1 year ago)
• Topics: bug-reproduction
• Language: Python
• Homepage:
• Size: 5.86 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project