Issues

• unreachable is not reported after a type-exhaustive match/if whose paths all diverge

  narrowingtypechecking
  facebook/pyrefly#5197 · Filter by author TimonGaertner opened on Oct 11, 2026

• Callable assignability ignores explicit positional parameters when the signature ends in *args: Any, **kwargs: Any

  facebook/pyrefly#5194 · Filter by author seunghyun-24 opened on Oct 11, 2026

• implicit-import false positive: submodule imported explicitly but used through an aliased parent

  sqlalchemytypechecking
  facebook/pyrefly#5193 · Filter by author twavv opened on Oct 11, 2026

• Literal[Enum.MEMBER] in a union is normalized to the enum class, then rejected against a generic TypeAlias containing the same literal

  Bug

  facebook/pyrefly#5191 · Filter by author evadcmd opened on Oct 10, 2026

• Dataclass member containing descriptor is resolved on access

  Bug

  facebook/pyrefly#5189 · Filter by author Feuermurmel opened on Oct 10, 2026

• Generic function is not checked separately for each case of constrained type variable

  typechecking
  Bug

  facebook/pyrefly#5188 · Filter by author Feuermurmel opened on Oct 10, 2026
  

• Type not narrowed based on attribute type

  Bug

  facebook/pyrefly#5187 · Filter by author Feuermurmel opened on Oct 10, 2026

• Variable type is not narrowed after "if" containing both call to "Never-returning" function and "raise"

  narrowingscoping-control-flow
  Bug

  facebook/pyrefly#5186 · Filter by author Feuermurmel opened on Oct 10, 2026
  

• TypedDict built with ** unpacking isn't inferred inside a tuple when the declared return type is a union of tuples

  django
  facebook/pyrefly#5184 · Filter by author john-parton opened on Oct 10, 2026
  1

  

• assert with date value does not narrow

  narrowingtypechecking
  facebook/pyrefly#5178 · Filter by author sk- opened on Oct 9, 2026
  

• False positive on parenthezised del statements

  typechecking
  facebook/pyrefly#5177 · Filter by author sk- opened on Oct 9, 2026

• [tensor-shapes] Regression in 1.4.0.dev2: IntVar dimensions solved from a Tensor[[...]] argument come back as @_, so shape errors are no longer reported

  tensor-shapes
  facebook/pyrefly#5172 · Filter by author onejumpinc opened on Oct 9, 2026
  1

  

• deprecated - false negative on usage of deprecated class

  typechecking
  Task

  facebook/pyrefly#5170 · Filter by author DetachHead opened on Oct 9, 2026
  

• intermittent not-iterable error when running the pyrefly CLI multiple times on the same code

  typecheckingusability
  Bug

  facebook/pyrefly#5169 · Filter by author DetachHead opened on Oct 9, 2026
  1

  

• [tensor-shapes] Could Pyrefly flag when a plain int constructor parameter makes a layer dimension unknown?

  pytorchtensor-shapes
  facebook/pyrefly#5166 · Filter by author onejumpinc opened on Oct 8, 2026

• [tensor-shapes] With no Pyrefly configuration, the basic preset reports no shape errors, and the setup hint doesn't say so

  tensor-shapes
  facebook/pyrefly#5165 · Filter by author onejumpinc opened on Oct 8, 2026

• [tensor-shapes] A shape-changing op inside a loop gives a loop-carried union that omits a reachable shape, plus a confusing bad-argument-type

  needs-discussiontensor-shapes
  facebook/pyrefly#5164 · Filter by author onejumpinc opened on Oct 8, 2026
  1

• [tensor-shapes] Integer arithmetic in layer arguments (nn.Conv2d(128 + 64, …)) widens the dimension to int, so the shape check is skipped

  tensor-shapes
  facebook/pyrefly#5163 · Filter by author onejumpinc opened on Oct 8, 2026
  1

• Regression in 1.4.0.dev2: missing-import for tomllib inside try/except ModuleNotFoundError fallback

  facebook/pyrefly#5162 · Filter by author kpeez opened on Oct 8, 2026

• Should "final" classes have attributes implicitly defined in coverage

  facebook/pyrefly#5160 · Filter by author cfxegbert opened on Oct 8, 2026

• Truthiness narrowing is not applied inside a constrained TypeVar branch

  narrowingtypechecking
  facebook/pyrefly#5159 · Filter by author ghmeier opened on Oct 8, 2026

• Generic inference with a starred list literal solves T as the union including None when None is present in the literal

  facebook/pyrefly#5158 · Filter by author ghmeier opened on Oct 8, 2026

• Django: ForeignKey keyword-form to= is not resolved; positional form works

  django
  facebook/pyrefly#5157 · Filter by author ghmeier opened on Oct 8, 2026
  

• Functional Enum API loses the subclass: dynamic enum doesn't inherit base class classmethods

  django
  facebook/pyrefly#5156 · Filter by author ghmeier opened on Oct 8, 2026

• [tensor-shapes] Find a more compact notation for numpy?

  needs-discussiontensor-shapes
  Feature

  facebook/pyrefly#5155 · Filter by author stroxler opened on Oct 8, 2026
  1