-
Notifications
You must be signed in to change notification settings - Fork 281
Open
Labels
conformancehelp wantedLarger than "good first issue", but still well-defined and ready for someone to pick upLarger than "good first issue", but still well-defined and ready for someone to pick uptypechecking
Description
Describe the Bug
Pyrefly incorrectly rejects assigning a Protocol parameterized with ParamSpec[...] to a protocol that uses *args: Any, **kwargs: Any.
Unittest located here: https://github.com/facebook/pyrefly/blob/main/pyrefly/lib/test/callable.rs#L1356
Sandbox link down below.
Sandbox Link
(Only applicable for extension issues) IDE Information
No response
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
conformancehelp wantedLarger than "good first issue", but still well-defined and ready for someone to pick upLarger than "good first issue", but still well-defined and ready for someone to pick uptypechecking