pyrefly · Issues· 701 open

Inconsistent type inference in LSP and CLI for external search paths

Indentation rendering bug in tooltips

imports using symlinked paths are not updated

Shaped-array materialization can violate the unbounded-shape invariant

type[Union[A, B, ...]] produces false bad-specialization error when passed to constrained TypeVar parameter

detect unreachable `except` blocks

Feature: `assert_type_unspellable_subtype`

add helper for Module exists, but was not imported explicitly. You are relying on other modules to load it.

Missing hover on attribute assignment in __init__

False positive `unexpected-keyword` with Python 3.15 `frozendict` when called with keyword arguments

`unreachable` doesn't work with `if` statements

1.3.0 regression: false errors in max/min key lambdas when default= is passed

false `bad-return` for a generator function with `Iterator[X] | T` return annotation

`TypedDict.copy()` falls back to `dict[str, object]`

support ArgumentParser type check