name: Feature about: Submit a proposal for a new mypy feature labels: “feature”
Feature
Pitch