- Notifications
You must be signed in to change notification settings - Fork 291
Open
Labels
typecheckingusabilityUsability & readiness issues identified with running Pyrefly on top OSS projectsUsability & readiness issues identified with running Pyrefly on top OSS projects
Description
Describe the Bug
Minimal repro:
import itertools _FORMAT_PATH = "{}/{}".format def get_paths(path: str) -> list[str]: parts = path.split("/") return list(itertools.accumulate(parts, _FORMAT_PATH)) # FP: no matching overloadOnly Pyrefly has issues with this code.
Sandbox Link
(Only applicable for extension issues) IDE Information
No response
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
typecheckingusabilityUsability & readiness issues identified with running Pyrefly on top OSS projectsUsability & readiness issues identified with running Pyrefly on top OSS projects