Skip to content

[v1.5 regression] Unknown-length *args treated as an extra argument #5542

Closed

Description

@rchen152

Describe the Bug

Reported impact: 51 false-positive diagnostics across 17 repositories, out of 352 repositories checked for v1.5 regression testing.

This succeeds under mypy, pyright, and ty. Pyrefly at head errors on it:

def no_args() -> int:
    return 0

def forward(xs: list[int]) -> None:
    no_args(*xs)  # Expected 0 positional arguments, got 1

forward([])

Sandbox Link

https://pyrefly.org/sandbox/?project=v2.pZQxD8IgEIX_yiUdqg5SV3d3E0c1phFSO8iRAoaf7wOKSY12KSPh7rh7371_lhkl1HwDljariNGWiWQumg-vPOBXchXKuuHp9Vv5kmsT7JqoghNp2WOfwfchGIxBSWrIsO2zg8aF8E-lHfylY0e7UfhU6Yz0-VR08hiOkj_kqOiYL2jsDEYEHTsPu0ON7UUjWil6OGfsXogSzkMnlBaS71ZMIkRsldpX2ycTnaYjTvhYpF3CQZ0xqOcoqCMEeDEr7Bs

(Only applicable for extension issues) IDE Information

No response

Activity

  1. GautamKumarOffical commented on Nov 5, 2026

    @GautamKumarOffical
    Contributor

    #claim

  2. github-actions commented on Nov 5, 2026

    @github-actions

    @GautamKumarOffical you've claimed this issue — it's now assigned to you. Thanks for picking it up! 🎉

  3. added this to the 1.5 milestone on Nov 5, 2026
  4. added theissue type on Nov 5, 2026
  5. added a commit that references this issue on Nov 10, 2026
    3c2bb2a
  6. self-assigned this
    on Nov 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Type

Projects

No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions