Issues

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

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

  

• Type async function result as CoroutineType instead of Coroutine

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

• Type parameter defaults referring to an enclosing scope's PEP 695 type parameters are not reported

  meta/pyrefly#5609 · Filter by author KalininDL opened on Nov 11, 2026
  2

  

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

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

• Dataclass constructors defaults don't solve type parameters

  typechecking
  Bug

  meta/pyrefly#5601 · Filter by author stroxler opened on Nov 10, 2026

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

  configurationquansight
  Bug

  meta/pyrefly#5594 · Filter by author MarcoGorelli opened on Nov 9, 2026

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

  quansightscoping-control-flow
  Bug

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

• warning: hiding a lifetime that's elided elsewhere is confusing

  good first issue
  Task

  meta/pyrefly#5590 · Filter by author asukaminato0721 opened on Nov 9, 2026
  1

  

• Pyrefly shows inprecise method signature for __init__ when inheriting from builtin classes

  language-server
  Bug

  meta/pyrefly#5589 · Filter by author Tornado300 opened on Nov 8, 2026

• hasattr(v, "__iter__") does not narrow int | Iterable[int]

  narrowingneeds-discussion
  Bug

  meta/pyrefly#5582 · Filter by author wRAR opened on Nov 8, 2026
  1

• Walrus in the right operand of and does not narrow the assigned name

  narrowing
  Bug

  meta/pyrefly#5581 · Filter by author wRAR opened on Nov 8, 2026
  2

• Attribute access after if sys.platform != ...: return is checked against the current platform

  typechecking
  Bug

  meta/pyrefly#5580 · Filter by author wRAR opened on Nov 8, 2026

• not-a-type for an exception tuple extended with += and used in except

  typechecking
  Bug

  meta/pyrefly#5579 · Filter by author wRAR opened on Nov 8, 2026

• for loop over a subclass ignores its overridden __iter__ and uses the base class's type argument

  quansighttypechecking
  meta/pyrefly#5570 · Filter by author MarcoGorelli opened on Nov 7, 2026

• Spurious redundant-condition when using nonlocal

  scoping-control-flow
  Bug

  meta/pyrefly#5563 · Filter by author MorganBennetDev opened on Nov 6, 2026

• py3.15: error with sentinel + type qualifier (Final / ClassVar)

  has-open-prpy3.15
  Bug

  meta/pyrefly#5560 · Filter by author randolf-scholz opened on Nov 6, 2026
  2

  

• Cannot rename arrays

  language-server
  Bug

  meta/pyrefly#5559 · Filter by author acampove opened on Nov 6, 2026

• [v1.5 regression] Negative issubclass narrowing widens Never to object

  narrowingtypechecking
  Bug

  meta/pyrefly#5547 · Filter by author rchen152 opened on Nov 5, 2026 · 1.5

• [v1.5 regression] Repeating a type guard condition causes the guard to be lost

  typechecking
  Bug

  meta/pyrefly#5546 · Filter by author rchen152 opened on Nov 5, 2026 · 1.5

• [v1.5 regression] Unknown-length *args treated as an extra argument

  has-open-prtypechecking
  Bug

  meta/pyrefly#5542 · Filter by author rchen152 opened on Nov 5, 2026 · 1.5
  2

  

• [v1.5 regression] 15% slowdown on pytorch from 1.4.0 -> 1.5.0-dev1

  performancepytorch
  Bug

  meta/pyrefly#5539 · Filter by author rchen152 opened on Nov 5, 2026 · 1.5
  

• Renaming broken with dataclasses and pydantic models

  language-serverpydantic
  Bug

  meta/pyrefly#5538 · Filter by author acampove opened on Nov 5, 2026

• bad-argument-type - false negative when calling decorator function with wrong type

  typechecking
  Bug

  meta/pyrefly#5536 · Filter by author DetachHead opened on Nov 5, 2026
  3

  

• Behaviour difference when virtualenv outside project

  configuration
  Bug

  meta/pyrefly#5533 · Filter by author PeterJCLaw opened on Nov 4, 2026
  1

• Django: type arguments of Field subclasses are ignored

  django
  Bug

  meta/pyrefly#5532 · Filter by author sk- opened on Nov 4, 2026
  1