False negative on extra arguments to paramspec callable

Open yangdanny97 opened this issue 3 months ago • 0 comments

Describe the Bug

We're not giving an error when passing unknown arguments, even though the ParamSpec has no kwargs

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0AFag1wBjXFAA0dAILpSAHXRLRUVHDiyAygHEAkjOLFEdYurgq1GugH0AshEyZYAd1SUYAMVSiRlUgDaAFRBAgC6ABRCuCLiUACUiEp0KXSYMGC2NqKoUFA2NhFwMFBg0qhGJjK6BkbSAPTSQe5scCYChC1wTUEA1m6Ure2E-V3xdAC0AHyy8iaEC0qW5nTecAwyAnpJ6KlpGXSoTjY0js4wAzDBoZHJe6nFpZJ393SnTq7uMNlWbbYOHwuX28vl4gXCz12rzozUGfw6XUh0JhfQGQ0EIzR3RedHG0zoADlcOgYDtkWYNEt0KoVgBhADyACUtADzpcyal0pkCqwIAwCkUSmVDpVtPpDMQ8TMiSSOa8KRZlEquXQwBFEjiKsQ6ABeVbqDZbdWaoydY7vNlfCI4vYM5msz4eJHQ-A6hQgd3SADEjAAFjAPHQ4L7cABXKCYOjYGCHXYB6iUOj%2Bjw4%2BJKECSEBkDxgKCkQgiGhQCg%2BgSkHN5oMYHAEOjidCQNihyioBgQYmEJQ%2BrQwGO%2BhgMYhter1bMZPOEXhseowdD1TBiOD1euN5ut9tz1W8Q4AN1Q0FQ2FgdeJq5bbeJdFwxAv6DgnfQZAYIfQEx3AbgG91dHdAGZCAAjAATO66YAL6Zj4bbvp40AwBQaBYHgRBkCAYFAA

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response

Nov 26 '25 01:11 yangdanny97