Issues

• Frozen class inheriting from a non-frozen dataclass_transform class is not reported

  pyrefly-org/pyrefly#5661 · Filter by author seunghyun-24 opened on Nov 15, 2026

• don't show self in signature help for bound methods

  language-server
  pyrefly-org/pyrefly#5660 · Filter by author DetachHead opened on Nov 15, 2026

• re-exports are not suggested in completions/import suggestions

  pyrefly-org/pyrefly#5659 · Filter by author DetachHead opened on Nov 15, 2026

• Literal[...].__args__ reports attribute error

  pyrefly-org/pyrefly#5658 · Filter by author Jackenmen opened on Nov 15, 2026

• Auto-complete for SQLAlchemy isn't working in VS Code (Pyrefly 1.4.1)

  pyrefly-org/pyrefly#5657 · Filter by author Desalutar20 opened on Nov 15, 2026

• support reporting type coverage errors as part of the normal type checker

  coverage
  pyrefly-org/pyrefly#5648 · Filter by author DetachHead opened on Nov 14, 2026

• support hover text for overload docstrings

  good first issuelanguage-server
  pyrefly-org/pyrefly#5647 · Filter by author DetachHead opened on Nov 14, 2026
  2

  

• Semantic tokens: enum member on a union of single-member enum classes is highlighted as property

  language-server
  Bug

  pyrefly-org/pyrefly#5645 · Filter by author kinto0 opened on Nov 13, 2026

• cargo b warning: unused dependency zstd

  good first issue
  Task

  pyrefly-org/pyrefly#5640 · Filter by author asukaminato0721 opened on Nov 13, 2026

• [v1.5 regression] Exponential checking time for nested Pydantic model constructor calls

  performancepydantic
  Bug

  pyrefly-org/pyrefly#5639 · Filter by author rchen152 opened on Nov 13, 2026 · 1.5
  

• [v1.5 regression] Attempt to use a property as a type annotation silently fails in 3.14

  typechecking
  Bug

  pyrefly-org/pyrefly#5637 · Filter by author rchen152 opened on Nov 13, 2026 · 1.5
  

• [v1.5 regression] Bug in name resolution in .pyi files when Python runtime version is below 3.14

  typechecking
  Bug

  pyrefly-org/pyrefly#5635 · Filter by author rchen152 opened on Nov 13, 2026 · 1.5
  

• [v1.5 regression] Noisy unresolved-import-signature and no-matching-overload diagnostics

  overloads
  Bug

  pyrefly-org/pyrefly#5634 · Filter by author rchen152 opened on Nov 13, 2026 · 1.5
  

• Conditional dictionary unpacking loses LiteralString key types

  typechecking
  Bug

  pyrefly-org/pyrefly#5632 · Filter by author zshuzh opened on Nov 12, 2026
  2

  

• Unpacking a NamedTuple in a dictionary index loses type information

  typechecking
  Bug

  pyrefly-org/pyrefly#5630 · Filter by author zshuzh opened on Nov 12, 2026
  2

  

• sandbox Version selector

  good first issuehas-open-prsandbox
  Feature

  pyrefly-org/pyrefly#5626 · Filter by author asukaminato0721 opened on Nov 12, 2026
  1

  

• Bug: "is uninitialized" instead of "may be uninitialized" for loop-carried names

  quansightscoping-control-flow
  Bug

  pyrefly-org/pyrefly#5624 · Filter by author MarcoGorelli opened on Nov 12, 2026

• List unpacking rejects a wider literal union, but list(...) accepts it

  typechecking
  Bug

  pyrefly-org/pyrefly#5623 · Filter by author zshuzh opened on Nov 12, 2026

• Tuple matching doesn’t recognize exhaustive OR patterns

  typechecking
  Bug

  pyrefly-org/pyrefly#5622 · Filter by author zshuzh opened on Nov 12, 2026
  

• False positive: Protocol with EXCLUDED_ATTRIBUTES cannot be used with issubclass()

  has-open-prtypechecking
  Bug

  pyrefly-org/pyrefly#5614 · Filter by author amas127 opened on Nov 11, 2026
  3

  

• Type async function result as CoroutineType instead of Coroutine

  typechecking
  Bug

  pyrefly-org/pyrefly#5611 · Filter by author zshuzh opened on Nov 11, 2026
  

• try...finally block ignores return as "early exit"

  scoping-control-flow
  Bug

  pyrefly-org/pyrefly#5608 · Filter by author kilroy42 opened on Nov 11, 2026
  1

• Dataclass constructors defaults don't solve type parameters

  typechecking
  Bug

  pyrefly-org/pyrefly#5601 · Filter by author stroxler opened on Nov 10, 2026
  2

  

• Relative imports fail outside the import root once a config exists (leading dot is dropped)

  configurationquansight
  Bug

  pyrefly-org/pyrefly#5594 · Filter by author MarcoGorelli opened on Nov 9, 2026
  1

• Version-gated early exits: from copy import replace is accepted but copy.replace is rejected

  quansightscoping-control-flow
  Bug

  pyrefly-org/pyrefly#5593 · Filter by author MarcoGorelli opened on Nov 9, 2026