Feature
Tracking issue for enabling
[tool.mypy]
enable_error_code = ["explicit-override"]
When
Pitch
As explained in PEP 698, strict enforcement of @override has many benefits.
When the Mypy developers feel that @override usage has had enough time for adoption in the community, enabling this by default when the user opts into strict mode would be helpful.
Related Discussions
Feature
Tracking issue for enabling
When
Pitch
As explained in PEP 698, strict enforcement of
@overridehas many benefits.When the Mypy developers feel that
@overrideusage has had enough time for adoption in the community, enabling this by default when the user opts intostrictmode would be helpful.Related Discussions