Incorrect incompatible override report with self type + overload + TypeVar with constraints #14866
Labels
affects-typeshed
Anything that blocks a typeshed change
bug
mypy got something wrong
topic-inheritance
Inheritance and incompatible overrides
topic-self-types
Types for self
Similar to #14002; came up in python/typeshed#9084.
(https://mypy-play.net/?mypy=latest&python=3.10&gist=da356a97851f7b7649d208e1359a6de4)
with mypy 1.1.1 produces:
There should be no errors. The second overload is not applicable to a
Base[int]
, so it should be fine that the subclass lacks it.The text was updated successfully, but these errors were encountered: