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

(*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 #16569

Start by running the supplied mypy reproduction and compare the compatibility results for f1 and f2. Trace the type-checking path for overriding methods and determine what behavior should make the two signatures consistent; done when the example produces the expected compatibility result without regressing related override checks.