Neil Mitchell

Make None generalise to Optional[T]

8

### Describe the Bug In most cases if we see `None` we should treat that as `None | ?`, perhaps just in an assignment CC @stroxler ### Sandbox Link _No...

### Describe the Bug https://metaist.com/blog/2025/05/trying-pyrefly.html - a number of things here that should be addressed. CC @metaist - mostly around error message quality ### Sandbox Link _No response_ ### (Only...

### Describe the Bug Given: ``` if sys.version > (3, 9): a else: b ``` One of these branches should be in gray. ### Sandbox Link _No response_ ### (Only...

[Bug][CLI]: Wrong inference (incorrect narrowing?)

4

### Describe the Bug Given: ``` def shown(x): whole = float(x) return x - whole ``` I expect `x` to be `Any` so `x - whole` might be `float`, or...

It would be easier if Pyrefly used Stable Rust. Less rust_toolchain files, works better with distributions etc. I've eliminated a number of features, but the remaining ones which aren't stabilised...

Add support for Exit notification

1

Summary: Previously we didn't deal with exit. Now we do. Differential Revision: D75407514

reveal_type should produce an INFO not an ERROR

1

### Describe the Bug Requires us to have different levels (e.g. info, warn, err) in our ErrorCollector. ### Sandbox Link _No response_ ### (Only applicable for extension issues) IDE Information...

It would be great if Tad had additional aggregations for P50, P75, P95, P99 as these are commonly reported on numeric values. PS. Tad has been awesome for exploring CSV...

Reeneable should_assert_eq lint

2

Suggest replacing `assert!(a == b)` with `assert_eq!(a, b)`. This is useful, because given the environment `let a = 1`, `let b = 2`, the displayed error changes between: * `assert!(a...

Sandbox has source not found for dateutil

4

### Describe the Bug If you put this code in the sandbox: ```python from dateutil.relativedelta import relativedelta print(relativedelta(days=1)) ``` Then you get the error: ``` ERROR sandbox.py:1:1-49: Stubs for `dateutil.relativedelta`...