Danny Yang

Add Pyrefly

2

Add pyrefly, a fast Python typechecker and IDE written in Rust We've got quite a few good first/second issues and more are being created/closed daily. #### ℹ️ Repository information **The...

## Summary The pipe syntax for unions introduced in PEP604 is more concise than `Optional`, but it only works in Python 3.10+ This PR updates the rule replacing `Union[T |...

Replace `typing.List` and other aliases w/ builtin equivalents after Python 3.10

2

## Summary This is the inverse of UseTypesFromTyping https://github.com/Instagram/Fixit/blob/main/src/fixit/rules/use_types_from_typing.py In Python versions after 3.10, we can replace `typing.List` and other aliases with the builtin equivalents. ## Test Plan `make` closes...

Run Pyrefly against numpy's typing tests

1

### Describe the Bug version 2.3.1 example of a test: https://github.com/numpy/numpy/blob/main/numpy/typing/tests/data/pass/arrayprint.py there are 3 categories of tests: - typing/tests/data/pass (should be green) - typing/tests/data/reveal (relies on assert_type) - typing/tests/data/fail (uses...

[feature] command for measuring type annotation coverage (pyrefly report)

7

Something like pyright's `--verifytypes` or mypy's `--report`. The latter generates XML/HTML coverage reports https://mypy.readthedocs.io/en/stable/config_file.html#report-generation

High memory usage on Antigravity (google's new IDE)

1

### Describe the Bug From reddit: > I am also having same issue. pyrefly is using 7 GB of memory on macos for no reason at all. Looks like it...

Type comments

8

AFAIK Pyrefly doesn't support type comments for type hints like others do, such as Pylance. Although this isn't an issue for those using Python 3.5+, type comments are really helpful...

Unpacked TypeVarTuple in callable doesn't consider optional arguments

2

### Describe the Bug ``` from typing import * def test[*Ts, T](f: Callable[[*Ts], T], *args: *Ts): pass def callback(x: int, y: int = 1): pass test(callback, 1) # error? test(callback,...

Go-to-def fails on unreachable branches

5

### Describe the Bug If we incorrectly infer the type of something, our control flow modeling will incorrectly treat branches as unreachable, and go-to-def does not work inside those branches....

### 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...