Issues

• frozendict is invariant (python 3.15)

  facebook/pyrefly#5289 · Filter by author IIIMADDINIII opened on Oct 19, 2026

• Mypy's annotation-unchecked error code not recognized

  quansight
  facebook/pyrefly#5288 · Filter by author jorenham opened on Oct 19, 2026

• Tuple unpacking *tuple[Any, ...] inside a subclass of tuple causes all element types to be Unioned (affects the SQLAlchemy Row-type)

  sqlalchemy
  facebook/pyrefly#5286 · Filter by author mazen-isstech opened on Oct 19, 2026

• 1.4.0 release notes name nonexistent unknown-member-type diagnostic

  language-server
  facebook/pyrefly#5284 · Filter by author adamtheturtle opened on Oct 19, 2026
  

• attrs.field(converter=None) makes field type Unknown instead of keeping the annotation

  facebook/pyrefly#5283 · Filter by author airglide opened on Oct 19, 2026

• Metaclass attribute becomes unknown after narrowing type[Protocol] with isinstance

  narrowingtypechecking
  facebook/pyrefly#5282 · Filter by author adamtheturtle opened on Oct 19, 2026

• False uninitialized-instance-variable for str slots initialized in __new__

  facebook/pyrefly#5280 · Filter by author adamtheturtle opened on Oct 19, 2026

• 1.4.0 regression: enum.member(value=callable) leaves the wrapper in self.value

  facebook/pyrefly#5279 · Filter by author adamtheturtle opened on Oct 19, 2026

• False uninitialized-instance-variable for metaclass attributes supplied in class bodies

  facebook/pyrefly#5278 · Filter by author adamtheturtle opened on Oct 19, 2026

• False uninitialized-instance-variable for annotated Enum payloads

  facebook/pyrefly#5277 · Filter by author adamtheturtle opened on Oct 19, 2026

• Pyrefly Crashing

  crashpydantic
  facebook/pyrefly#5275 · Filter by author khurram-draco opened on Oct 18, 2026

• lsp: advertise semanticTokensProvider for all clients

  facebook/pyrefly#5273 · Filter by author pavelzw opened on Oct 18, 2026

• 1.4 regression: Nested optional-generic call causes a false constructor type error

  facebook/pyrefly#5269 · Filter by author Darlokt opened on Oct 18, 2026

• TypeVar defaults of a constructor-call argument are not used to solve the outer class's type variables

  django
  facebook/pyrefly#5265 · Filter by author UnknownPlatypus opened on Oct 18, 2026

• TypeGuard/TypeIs narrowing not applied when the argument is passed by keyword

  narrowingtypechecking
  facebook/pyrefly#5263 · Filter by author ricardomart opened on Oct 18, 2026

• Conditional attribute reassignment loses the assigned type

  facebook/pyrefly#5259 · Filter by author rexledesma opened on Oct 17, 2026

• Subscripting a bounded or constrained TypeVar resolves Self in __getitem__ to the bound instead of the TypeVar

  typechecking
  Bug

  facebook/pyrefly#5257 · Filter by author kinto0 opened on Oct 17, 2026
  

• Hover message should show doc string for class when __init__ has none

  good first issuelanguage-server
  Feature

  facebook/pyrefly#5254 · Filter by author jaens opened on Oct 16, 2026
  4

  

• infer adds a runtime import of a stub-only name (unittest.mock._patch_pass_arg), breaking the module

  facebook/pyrefly#5253 · Filter by author mollydoo opened on Oct 16, 2026

• Type information lost during PEP798-style unpacking in comprehensions

  facebook/pyrefly#5251 · Filter by author JeppeKlitgaard opened on Oct 16, 2026

• --report-glean names a method on a Literal or LiteralString receiver without its class (title, not str.title)

  facebook/pyrefly#5250 · Filter by author mollydoo opened on Oct 16, 2026

• bad-override false positive on pandera's nested class Config

  dataframedjangotypechecking
  facebook/pyrefly#5248 · Filter by author sk- opened on Oct 15, 2026

• Pyrefly's synthesized Pydantic RootModel constructor ignores model-level strict=True

  pydantic
  facebook/pyrefly#5242 · Filter by author danielpassy-maistodos opened on Oct 15, 2026

• Pyrefly and Pyright treat conformance for overload matching differently.

  facebook/pyrefly#5239 · Filter by author rchiodo opened on Oct 14, 2026
  4

• False-positive bad-specialization for a legacy TypeVar bound to a generic Protocol, in a constructor call with a contextual type

  typechecking
  Bug

  facebook/pyrefly#5237 · Filter by author kinto0 opened on Oct 14, 2026