(🐞) (*args: Any) acts inconsistently to how (*args: Any, **kwargs: Any) behaves

[KotlinIsland]

(*args: Any) acts inconsistently to how (*args: Any, **kwargs: Any) behaves:

# mypy: disable-error-code=empty-body
from __future__ import annotations

from typing import Any, Protocol

class Base:
    def f1(self, x: int, *args: Any) -> None: ...
    def f2(self, x: int, *args: Any, **kwargs: Any) -> None: ...

class Derived(Base):
    def f1(self, x: int, y: str) -> None: ...  # Signature of "f1" incompatible with supertype "Base"
    def f2(self, x: int, y: str) -> None: ...

Given that the rest of the arguments after x in Derived.f1 are positional, I would expect this to be a compatible subtype.

• related (🐞) 1.7 regression, (x: int) considered a valid subtype of (*args: Any) #16569