'Final' (PEP 591) shouldn't apply to '__private' symbols #9910
Labels
bug
mypy got something wrong
topic-final
PEP 591
topic-runtime-semantics
mypy doesn't model runtime semantics correctly
Bug Report
Since
__private
symbols are not shared between classes, I think we shouldn't complain if a symbol (either variable or method) that's declaredFinal
or@final
is redefined in a subclass. If you agree, we should probably add something to PEP 591 about this.To Reproduce
Expected Behavior
No errors.
Your Environment
mypy.ini
(and other config files): nothingThe text was updated successfully, but these errors were encountered: