3 Pull requests merged by 3 people

• Re-sync with internal repository

  #291 merged May 20, 2025

• Resync with internal repo

  #284 merged May 20, 2025

• Re-sync with Meta

  #283 merged May 19, 2025

2 Pull requests opened by 2 people

• Fix singular and plural in summary

  #327 opened May 21, 2025

• Update write_pyproject to use toml_edit

  #336 opened May 22, 2025

39 Issues closed by 11 people

• Invalid annotation check wrongly triggered for normal function calls

  #270 closed May 24, 2025

• More LSP capabilities support ?

  #341 closed May 23, 2025

• Clash with syntax highlighter

  #342 closed May 23, 2025

• Pyrefly Neovim Support

  #227 closed May 23, 2025

• [Bug] map() doesn't work

  #174 closed May 23, 2025

• `zip()` doesn't work

  #173 closed May 23, 2025

• Attributes from parent classes are not assignable from child classes

  #231 closed May 22, 2025

• Check for `__bool__` for if/while conditions

  #243 closed May 22, 2025

• Treat `False` as `0` and `True` as `1` in subscripts

  #258 closed May 22, 2025

• Control flow does not seem well understood

  #297 closed May 22, 2025

• Pandas Typing Top Level

  #76 closed May 22, 2025

• Pandas-stubs top level

  #77 closed May 22, 2025

• Support subscripts into `bytes`

  #255 closed May 22, 2025

• [MacOS] DevContainer VSCode Extension - Not working on AArch64

  #307 closed May 22, 2025

• Attribute narrowing narrows to something less precise

  #320 closed May 21, 2025

• Spurious error reported when assigning the result of calling a function returning `type[...]`

  #234 closed May 21, 2025

• bad-specialization for pydantic's `RootModel`

  #215 closed May 21, 2025

• Bad specialization for werkzeug.datastructures.MultiDict

  #274 closed May 21, 2025

• Could not find flow binding for `action` [internal-error]

  #287 closed May 20, 2025

• PEP 604 unions are not recognised in `isinstance()` or `issubclass()`

  #288 closed May 20, 2025

• [Bug][CLI]: Make the CLI tool indicate that --remove-unused-ignores did remove unused ignores

  #183 closed May 20, 2025

• Pylance Doesn't work when Pyrefly is installed

  #232 closed May 20, 2025

• Constant error notification (in VSCode Extension)

  #296 closed May 20, 2025

• Awaiting an `Awaitable[Any]` should not produce a `Var`

  #269 closed May 20, 2025

• dict[] expressions do not correctly decay child classes into their base for assignment

  #233 closed May 20, 2025

• Could not find name `__doc__` [unknown-name]

  #285 closed May 20, 2025

• Typed **kwargs with Unpack[...], showing as missing-argument error

  #299 closed May 20, 2025

• Pyrefly forgets (?) a type in the middle of a function definition

  #222 closed May 20, 2025

• [Bug][CLI]: built-in `__debug__` constant flagged as unknown-name

  #206 closed May 20, 2025

• Item assignment is not supported on `Iterable[@_]`

  #286 closed May 20, 2025

• [Bug]: narrowing to unrelated types results in `Never`

  #143 closed May 20, 2025

• Type Checking Error for Valid Usage of `round` Function in Python

  #213 closed May 20, 2025

• Error on using a TypeVar in a type[] declaration

  #210 closed May 19, 2025

• NewType doesn't work with tuples

  #276 closed May 19, 2025

• Modifying a list by looping with enumerate(list) changes the type of the list to Iterable[Unknown]

  #267 closed May 19, 2025

• [Bug][IDE]: VSCode extension doesn't work with GLIBC 2.34

  #163 closed May 19, 2025

• [Bug][CLI]: type checker hangs when using `Unpack` in variadic positional arguments

  #207 closed May 18, 2025

• More precise literal calculation with augmented assignments

  #247 closed May 18, 2025

• More precise inferred type for assignment expression

  #249 closed May 18, 2025

67 Issues opened by 32 people

• incorrect typing for math.frexp

  #351 opened May 24, 2025

• No narrowing with walrus and comprehension condition

  #350 opened May 24, 2025

• Evaluate using Profile-Guided Optimization (PGO) and Post-Link Optimization (PLO)

  #349 opened May 24, 2025

• Type of variable is forgotten in a loop where it is only accessed for read

  #348 opened May 24, 2025

• Pyrefly langauge server crash

  #347 opened May 24, 2025

• Pyrefly doesn't know how to deal with attributes in argparse.Namespace

  #346 opened May 24, 2025

• Sequence of types

  #345 opened May 23, 2025

• IDE Feature Tracker

  #344 opened May 23, 2025

• Inconsistent behavior and false positive for StrEnum

  #343 opened May 23, 2025

• list.append(click.style(...)) causes LiteralString bad-argument-type error

  #340 opened May 23, 2025

• Incorrect error from np.ndarray /= float32

  #339 opened May 23, 2025

• When clicking on an error in the sandbox output, scroll so that the affected line is in the middle of the screen

  #338 opened May 22, 2025

• Union types inside a list inside a TypedDict falsely rejects valid types when only one type of the union is used in an assignment

  #337 opened May 22, 2025

• Type narrowing via `assert type(x) is X `

  #335 opened May 22, 2025

• Pyrefly can't handle `attrs` library (dataclass_transform)

  #334 opened May 22, 2025

• Fails to reject incompatible TypedDicts

  #333 opened May 22, 2025

• Fails to reject `.setdefault` on a ReadOnly TypedDict

  #332 opened May 22, 2025

• Does not allow popping from a TypedDict

  #331 opened May 22, 2025

• Override check involving ParamSpec is incorrect

  #330 opened May 21, 2025

• Using a Literal key to update values in a TypeDict

  #329 opened May 21, 2025

• Special type for dictionary literals

  #324 opened May 21, 2025

• Incorrect type error when using `unittest.main()`

  #322 opened May 20, 2025

• Dotfiles should be included in project excludes always

  #321 opened May 20, 2025

• Automatically include `.gitignore` in `project_excludes`

  #319 opened May 20, 2025

• Constrained typevar cannot be attribute-accessed

  #318 opened May 20, 2025

• Inlay hint insertion should consider imports/use qualified paths

  #317 opened May 20, 2025

• Support pydantic frozen declaration

  #316 opened May 20, 2025

• Type Inference for `Popen.communicate()`

  #315 opened May 20, 2025

• `dataclasses.asdict()` should accept dataclasses

  #314 opened May 20, 2025

• Ellipsis error when using starlette

  #313 opened May 20, 2025

• LSP Integration Issues with Emacs

  #312 opened May 20, 2025

• Support pydantic field discriminator

  #311 opened May 20, 2025

• Support `@pytest.mark` decorators

  #310 opened May 20, 2025

• Not importing local files in a Lambda?

  #306 opened May 20, 2025

• reveal_type should produce an INFO not an ERROR

  #304 opened May 20, 2025

• IDE integration tracker

  #302 opened May 20, 2025

• Last summary line should be an optional.

  #301 opened May 20, 2025

• String literal generic parameter to `Type[]` not allowed

  #300 opened May 20, 2025

• Expected 0 positional arguments, got 1 in function `dict.__init__` [bad-argument-type]

  #295 opened May 20, 2025

• pyrefly fails to narrow based on explicit `hasattr()` following no-op if-statement

  #294 opened May 20, 2025

• [Discussion - PyCon] Pyrefly onboarding UX

  #293 opened May 20, 2025

• Incorrect Attribute Missing Warning for super() Calls in Classes with Multiple Inheritance

  #292 opened May 20, 2025

• pyrefly does not track mapping keys after explicit check

  #289 opened May 20, 2025

• [Docs+feature] Consider how Var should be represented in `reveal_type` and hover

  #280 opened May 19, 2025

• Improve representation for tuples when used in base class

  #278 opened May 19, 2025

• Could not find import of `dependency`, looked in these locations (from config in `/project/pyproject.toml`)

  #277 opened May 19, 2025

• `tuple[()] | tuple[int, *tuple[int, ...]]` should be equivalent to `tuple[int, ...]`

  #273 opened May 19, 2025

• Find references on Class attributes doesn't work

  #272 opened May 19, 2025

• Pylance parity - color coding recognized imports

  #271 opened May 19, 2025

• Suggest correct names for fields etc

  #268 opened May 18, 2025

• Incorrect understanding of `global` in local scope with same name

  #266 opened May 18, 2025

• Incorrect understanding of `global` in inner function

  #265 opened May 18, 2025

• Class definition bindings should not be visible in nested scopes

  #264 opened May 18, 2025

• Refinement should not turn static types into gradual types

  #263 opened May 18, 2025

• Incorrect detection of types?

  #262 opened May 18, 2025

• Incorrect refinement with `and`

  #261 opened May 18, 2025

• Subscripting needs to support union of dunder methods

  #260 opened May 18, 2025

• Subscripting on classes should attempt to invoke dunder methods

  #259 opened May 18, 2025

• More precise subscripting for `str`

  #257 opened May 18, 2025

• Support `__class_getitem__`

  #256 opened May 18, 2025

• Resolve `__call__` correctly even when it's a descriptor

  #254 opened May 18, 2025

• Instance attribute should take precedence over non-data descriptors in attribute writes

  #253 opened May 18, 2025

• More precise inferred type for literal ints

  #252 opened May 18, 2025

• `super()` object should not allow attribute assignment

  #251 opened May 18, 2025

• Handle self-assignment for walrus operator

  #250 opened May 18, 2025

• Pyrefly should not allow forward reference variable names in function scope

  #248 opened May 18, 2025

• Wrongly reported an uninitialized use

  #246 opened May 18, 2025

21 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Make None generalise to Optional[T]

  #226 commented on May 18, 2025 • 0 new comments

• Recognition of typevars obtained by attribute-access imported modules

  #129 commented on May 19, 2025 • 0 new comments

• [BUG] Calling a method on a TypeVar fails

  #150 commented on May 19, 2025 • 0 new comments

• [Bug][CLI]: `dict` -> `TypedDict` narrowing fails in `Union` context

  #164 commented on May 19, 2025 • 0 new comments

• Returning a TypeVar returned from another method doesn't work

  #119 commented on May 19, 2025 • 0 new comments

• feat: semantic highlighting

  #244 commented on May 19, 2025 • 0 new comments

• Update is not handled well with empty dict type inference

  #245 commented on May 19, 2025 • 0 new comments

• Subclass checks on a typevar do not correctly specialize

  #235 commented on May 20, 2025 • 0 new comments

• Compound `if` expressions appear to be resolved backwards when checking dict contents

  #237 commented on May 20, 2025 • 0 new comments

• [mypy parity] We should look at narrowing on dict (and typed dict) .get

  #238 commented on May 20, 2025 • 0 new comments

• [Bug][IDE]: pyrefly vscode ignores search_path in pyproject.toml

  #160 commented on May 20, 2025 • 0 new comments

• Incorrect number of lines reported in INFO

  #241 commented on May 20, 2025 • 0 new comments

• Docs: Setup Pyrefly with Neovim

  #55 commented on May 21, 2025 • 0 new comments

• Support pre-commit hooks

  #224 commented on May 21, 2025 • 0 new comments

• Error installing from source

  #217 commented on May 21, 2025 • 0 new comments

• Feature: Variance inference

  #44 commented on May 21, 2025 • 0 new comments

• Narrowed type is not reflected in nested scopes

  #40 commented on May 22, 2025 • 0 new comments

• Disallow instantiating abstract classes

  #46 commented on May 24, 2025 • 0 new comments

• @runtime_checkable + isinstance/issubclass for protocols

  #47 commented on May 24, 2025 • 0 new comments

• How does Pyrefly expect the interpreter be passed to it via LSP?

  #221 commented on May 25, 2025 • 0 new comments

• doc: update GitHub developers setup guide

  #153 commented on May 20, 2025 • 0 new comments