Issues

• narrowing value with union type with isinstance where the class is generic incorrectly narrows to Never

  narrowingtypechecking
  facebook/pyrefly#5147 · Filter by author DetachHead opened on Oct 8, 2026

• semantic highlighting for type keyword

  language-server
  facebook/pyrefly#5146 · Filter by author DetachHead opened on Oct 8, 2026

• no error when calling abstract super method with body

  facebook/pyrefly#5145 · Filter by author DetachHead opened on Oct 8, 2026

• missing-attribute - wrong error code when calling abstractmethod on super()?

  facebook/pyrefly#5144 · Filter by author DetachHead opened on Oct 8, 2026

• new rule - abstractmethod with implementation

  facebook/pyrefly#5143 · Filter by author DetachHead opened on Oct 8, 2026

• Feature Request: LSP can display the type rather than Unknown for types replaced with Any

  facebook/pyrefly#5142 · Filter by author dillydill123 opened on Oct 8, 2026

• issubclass make pyrefly forget prior isinstance narrowing

  narrowingtypechecking
  facebook/pyrefly#5139 · Filter by author randolf-scholz opened on Oct 7, 2026
  1

• better support for functools.partialmethod

  typechecking
  Feature

  facebook/pyrefly#5138 · Filter by author randolf-scholz opened on Oct 7, 2026
  1

• missing-super-call - false positive in if TYPE_CHECKING block

  typechecking
  Task

  facebook/pyrefly#5136 · Filter by author DetachHead opened on Oct 7, 2026

• missing-source - false positive inside stubs and if TYPE_CHECKING block

  typechecking
  Bug

  facebook/pyrefly#5135 · Filter by author DetachHead opened on Oct 7, 2026

• implicit-reexport - false positive when attempting to import module when that module is also imported by its package's __init__.py

  typechecking
  Bug

  facebook/pyrefly#5134 · Filter by author DetachHead opened on Oct 7, 2026

• unannotated-return - false positive on __init__

  good first issuetypechecking
  Task

  facebook/pyrefly#5133 · Filter by author DetachHead opened on Oct 7, 2026
  2

  

• unannotated-return - option to only enforce annotated return types on public API

  typechecking
  Feature

  facebook/pyrefly#5132 · Filter by author DetachHead opened on Oct 7, 2026
  1

• Config discovery picks up and migrates a mypy.ini shipped inside an installed package in site-packages

  dataframe
  facebook/pyrefly#5131 · Filter by author ippeiukai opened on Oct 7, 2026
  2

• Option to scope workspace/symbol to project files (or include libraries on demand)

  language-servernotebook
  facebook/pyrefly#5129 · Filter by author vsemionov opened on Oct 7, 2026

• implicit-any-lambda misses lambdas whose return type is unknown (pyright's reportUnknownLambdaType)

  pyright-paritytypechecking
  Feature

  facebook/pyrefly#5125 · Filter by author connernilsen opened on Oct 6, 2026
  

• No check for namedtuple without field types (pyright's reportUntypedNamedTuple)

  pyright-paritytypechecking
  Feature

  facebook/pyrefly#5124 · Filter by author connernilsen opened on Oct 6, 2026
  

• Recognize Never containers as falsy

  narrowingtypechecking
  facebook/pyrefly#5123 · Filter by author cweider opened on Oct 6, 2026
  3

  

• No check for uses of explicit Any (basedpyright's reportAny)

  pyright-paritytypechecking
  Feature

  facebook/pyrefly#5122 · Filter by author connernilsen opened on Oct 6, 2026
  

• No check for returning a value of unknown type from an unannotated function (pyright's reportUnknownVariableType on return)

  pyright-paritytypechecking
  Feature

  facebook/pyrefly#5121 · Filter by author connernilsen opened on Oct 6, 2026
  

• Feature request: make unused-parameter LSP diagnostic configurable via pyrefly.toml

  facebook/pyrefly#5113 · Filter by author sebageek opened on Oct 6, 2026

• warning: use of deprecated associated function core::num::<impl u32>::max_value: replaced by the MAX associated constant on this type

  good first issue
  facebook/pyrefly#5110 · Filter by author asukaminato0721 opened on Oct 6, 2026
  2

  

• Pyrefly doesn't report redundant condition after narrowing to None

  narrowingtypechecking
  facebook/pyrefly#5106 · Filter by author 5j9 opened on Oct 5, 2026
  

• hide inlay hint when name is the same

  language-server
  facebook/pyrefly#5105 · Filter by author asukaminato0721 opened on Oct 5, 2026

• support binary operator highlight range

  good first issuelanguage-server
  Feature

  facebook/pyrefly#5104 · Filter by author asukaminato0721 opened on Oct 5, 2026
  1