Incorrect incompatible override report with self type + overload + TypeVar with constraints

[JelleZijlstra]

Similar to #14002; came up in python/typeshed#9084.

from typing import TypeVar, Generic, overload

T = TypeVar("T", str, int)

class Base(Generic[T]):
 @overload
 def method(self, s: T) -> T: ...
 @overload
 def method(self: Base[str], s: bytes) -> str: ...
 def method(self, s: object): ...

class Child(Base[int]):
 def method(self, s: int) -> int:
 raise NotImplementedError

(https://mypy-play.net/?mypy=latest&python=3.10&gist=da356a97851f7b7649d208e1359a6de4)

with mypy 1.1.1 produces:

/Users/jelle/bin/inerhit.py:13: error: Signature of "method" incompatible with supertype "Base" [override]
/Users/jelle/bin/inerhit.py:13: note: Superclass:
/Users/jelle/bin/inerhit.py:13: note: @overload
/Users/jelle/bin/inerhit.py:13: note: def method(self, s: int) -> int
/Users/jelle/bin/inerhit.py:13: note: @overload
/Users/jelle/bin/inerhit.py:13: note: def method(self, s: bytes) -> str
/Users/jelle/bin/inerhit.py:13: note: Subclass:
/Users/jelle/bin/inerhit.py:13: note: def method(self, s: int) -> int
Found 1 error in 1 file (checked 1 source file)

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.