Infer type based on all usages, rather than first use
Open
needs-discussion
question
typechecking
- Dominant language
- Rust
- Stars
- 7k
- Forks
- 516
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the Bug
When authoring code, I find myself extremely annoyed that pyrefly cannot understand what I mean in cases like the linked sandbox
### Sandbox Link
https://pyrefly.org/sandbox/?code=MYGwhgzhAEBCkFMBcAoa7oAdIRS0O0AwgBYCWIAJgIwAU8ECAlKhljngVMeVQEz1ELNBmxRO4bqQqUAzIMbC2Y3CjAAnddAC80ANrSqdJgBoeMgUwC6azQDowmTAgB2lWobm0mTIA
### (Only applicable for extension issues) IDE Information
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.