Incorrect incompatible override report with self type + overload

[JelleZijlstra]

Given this code:

from typing import overload, TypeVar, Generic

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

class A(Generic[T]):
    @overload
    def f(self: A[int]) -> int: ...
    @overload
    def f(self: A[str]) -> str: ...
    def f(self): ...
    
class B(A[int]):
    def f(self) -> int: ...

https://mypy-play.net/?mypy=latest&python=3.10&gist=736b946030f3c52e14c712ce7e95464c

mypy 0.981 reports main.py:13: error: Signature of "f" incompatible with supertype "A".

This is incorrect: B is an A[int], so it doesn't matter that it doesn't implement the second overload.