You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We want to indicate that a (super-)class must implement a specific protocol in order to inherit from a specific (sub-) class. We used to annotate self as the super class in the subclass to express this. With mypy 1.10.0 this introduces a safe-super error. Is there currently a way to express this requirement?
No error: Since we never actually inherit from the HasFormValid protocol, this should be safe.
Actual Behavior
mypy 1.10.0 treats HasFormValid.form_valid as trivial and warns about its usage. In this case, it is assured that HasFormValid.form_valid cannot be actually called via super().form_valid.
mypy <1.10.0 does not raise an error here.
Your Environment
Mypy version used: mypy 1.10.0 (compiled: yes)
Mypy command-line flags: none
Mypy configuration options from mypy.ini (and other config files): none
Python version used: 3.12.3
The text was updated successfully, but these errors were encountered:
Bug Report
We want to indicate that a (super-)class must implement a specific protocol in order to inherit from a specific (sub-) class. We used to annotate
self
as the super class in the subclass to express this. With mypy1.10.0
this introduces asafe-super
error. Is there currently a way to express this requirement?To Reproduce
Expected Behavior
No error: Since we never actually inherit from the
HasFormValid
protocol, this should be safe.Actual Behavior
mypy 1.10.0 treats
HasFormValid.form_valid
as trivial and warns about its usage. In this case, it is assured thatHasFormValid.form_valid
cannot be actually called viasuper().form_valid
.mypy <1.10.0 does not raise an error here.
Your Environment
mypy.ini
(and other config files): noneThe text was updated successfully, but these errors were encountered: