Sequence type does neither match the ABC nor the implementation of tuple #8345

Have a look at the following code:

import typing as t


seq1: t.Sequence[str] = ("Hello", "World!")
try:
    seq1.count(x="Hello")
except TypeError as error:
    print("Raises a `TypeError` anyway:", error)


VALUES: t.List[int] = [3, 4, 3, 5]


class MySequence(t.Sequence[int]):
    @t.overload
    def __getitem__(self, index: int) -> int:
        pass

    @t.overload
    def __getitem__(self, index: slice) -> t.List[int]:
        pass

    def __getitem__(self, index: t.Union[int, slice]) -> t.Union[int, t.List[int]]:
        return VALUES[index]

    def __len__(self) -> int:
        return len(VALUES)


seq2: t.Sequence[int] = MySequence()
try:
    seq2.count(x=3)
except TypeError as error:
    print("Raises a `TypeError` anyway:", error)

# does not raise a `TypeError` but does not type check
print(seq2.count(value=3))

The first two calls to count do type check but raise an error at runtime. The errors, however, are quite different: in the first case, count does not accept any keyword arguments as in case of a tuple the arguments are positional only. In the second case, count does accept keyword arguments but not x because the name of the argument is value in the ABC Sequence (which is in itself inconsistent, strictly speaking a tuple does not implement the Sequence ABC as it does not allow keyword arguments). Finally, the last call to count succeeds because it is valid according to the ABC but it does not type check.

The behavior I expect is as follows: with regard to the Sequence type, count should accept no keyword arguments. If no arguments are given using keywords, then tuple and the ABC are consistent.

I stumbled across this while trying to implement a protocol for hashable sequences. This turned out impossible because if I declare precisely the interface of the ABC then I cannot assign tuples to a variable having that type.

If you point me into a direction of where I should look to fix this, I might be able to send a pull request.

Python Version: 3.8.0
Mypy Version: 0.761

I use the following mypy configuration:

[mypy]
disallow_untyped_calls = True
disallow_untyped_defs = True
disallow_incomplete_defs = True
check_untyped_defs = True
disallow_subclassing_any = True
warn_no_return = True
strict_optional = True
strict_equality = True
no_implicit_optional = True
disallow_any_generics = True
disallow_any_unimported = True
warn_redundant_casts = True
warn_unused_ignores = True
warn_unused_configs = True
show_traceback = True
show_error_codes = True
pretty = True