List view

unbound name when using walrus operator within a ternary expression

narrowingIssues with narrowing - root cause is usually narrowing, flow handling, or bothIssues with narrowing - root cause is usually narrowing, flow handling, or both

scoping-control-flowissues related to scoping and control flowissues related to scoping and control flow

Status: Open.

Bug

#2382 In facebook/pyrefly;

· jakevdp opened on Feb 11, 2026

Generic ParamSpec

typechecking

typeshed

Status: Open.

Bug

#43 In facebook/pyrefly;

· yangdanny97 opened on Mar 27, 2025

Narrowed type is not reflected in nested scopes

help wantedLarger than "good first issue", but still well-defined and ready for someone to pick upLarger than "good first issue", but still well-defined and ready for someone to pick up

meta

scoping-control-flowissues related to scoping and control flowissues related to scoping and control flow

Status: Open.

Bug

#40 In facebook/pyrefly;

· MarcoGorelli opened on Mar 25, 2025

Contextual typing works only with the first element in a union

contextual-typingissues related to contextual typingissues related to contextual typing

Status: Open.

Bug

#793 In facebook/pyrefly;

· rchen152 opened on Jul 31, 2025

Task: type-check sqlalchemy/test/typing/plain_files successfully

sqlalchemyIssues related to support for SQLAlchemy 2.0Issues related to support for SQLAlchemy 2.0

typechecking

Status: Open.

Task

#920 In facebook/pyrefly;

· rchen152 opened on Aug 14, 2025

Feature Request: support <code>__slots__</code>

help wantedLarger than "good first issue", but still well-defined and ready for someone to pick upLarger than "good first issue", but still well-defined and ready for someone to pick up

typechecking

Status: Open.

Feature

#630 In facebook/pyrefly;

· rchen152 opened on Jul 3, 2025

Support exhaustiveness checks for constrained quantified type vars

typechecking

Status: Open.

Feature

#1422 In facebook/pyrefly;

· alanhdu opened on Oct 29, 2025

Handling duplicate Label Detection in Match Statements

stale

typechecking

Status: Open.

Feature

#1440 In facebook/pyrefly;

· tejasreddyvepala opened on Oct 31, 2025

check_type is no longer narrowing types (regression from 0.27.0 -&gt; 0.27.1)

stale

typechecking

Status: Open.

Task

#881 In facebook/pyrefly;

· kilroy42 opened on Aug 10, 2025

Function invocation pins type of arguments too early

pytorch

typechecking

Status: Open.

Bug

#105 In facebook/pyrefly;

· grievejia opened on Apr 16, 2025

Pyright diagnosticMode: "workspace" equivalent in Pyrefly

language-serverIssues specific to our IDE integration rather than type checkingIssues specific to our IDE integration rather than type checking

stale

Status: Open.

Feature

#397 In facebook/pyrefly;

· Pristor opened on May 29, 2025

go-to definition on constructor calls

language-serverIssues specific to our IDE integration rather than type checkingIssues specific to our IDE integration rather than type checking

stale

Status: Open.

Bug

#1728 In facebook/pyrefly;

· kinto0 opened on Dec 1, 2025

Exhaustiveness check in match statement

scoping-control-flowissues related to scoping and control flowissues related to scoping and control flow

stale

typechecking

Status: Open.

Bug

#1286 In facebook/pyrefly;

· sander76 opened on Oct 14, 2025

missing-import when importing C extension modules w/o stubs

configuration

stale

Status: Open.

Bug

#1763 In facebook/pyrefly;

· find0x90 opened on Dec 4, 2025

High memory usage on Antigravity (google's new IDE)

language-serverIssues specific to our IDE integration rather than type checkingIssues specific to our IDE integration rather than type checking

performance

Status: Open.

Bug

#1661 In facebook/pyrefly;

· yangdanny97 opened on Nov 22, 2025

Inlay hint insertion should consider imports/use qualified paths to auto import correctly

language-serverIssues specific to our IDE integration rather than type checkingIssues specific to our IDE integration rather than type checking

Status: Open.

Feature

#317 In facebook/pyrefly;

· ckuethe opened on May 20, 2025

<code>unbound-name</code> does not consider exhaustiveness of <code>match ... case</code> correctly

stale

typechecking

Status: Open.

Bug

#1708 In facebook/pyrefly;

· DanielNoord opened on Nov 28, 2025

Incorrect inference for Unions of lists/sets

typechecking

Status: Open.

Bug

#1956 In facebook/pyrefly;

· hauntsaninja opened on Dec 30, 2025

Permissive Ignores should be on by default

configuration

needs-discussionAn issue where it's not clear whether there is a bug or we are behaving as expected.An issue where it's not clear whether there is a bug or we are behaving as expected.

Status: Open.

Task

#2184 In facebook/pyrefly;

· lolpack opened on Jan 21, 2026

Pyrefly should check whether a context manager suppresses exceptions when doing type narrowing

narrowingIssues with narrowing - root cause is usually narrowing, flow handling, or bothIssues with narrowing - root cause is usually narrowing, flow handling, or both

scoping-control-flowissues related to scoping and control flowissues related to scoping and control flow

typechecking

Status: Open.

Bug

#385 In facebook/pyrefly;

· rchen152 opened on May 28, 2025

Pytest project structure not supported by Pyrefly import root heuristics

configuration

help wantedLarger than "good first issue", but still well-defined and ready for someone to pick upLarger than "good first issue", but still well-defined and ready for someone to pick up

Status: Open.

Feature

#1486 In facebook/pyrefly;

· connernilsen opened on Nov 4, 2025

Recognize string type annotation in explicit type arguments

scoping-control-flowissues related to scoping and control flowissues related to scoping and control flow

typechecking

Status: Open.

Bug

#1474 In facebook/pyrefly;

· samwgoldman opened on Nov 4, 2025

Pyrefly IDE Feature Tracker.

epicAn issue that is an umbrella for work tracked in other issuesAn issue that is an umbrella for work tracked in other issues

language-serverIssues specific to our IDE integration rather than type checkingIssues specific to our IDE integration rather than type checking

Status: Open.

Task

#2207 In facebook/pyrefly;

· jvansch1 opened on Jan 23, 2026

Strict mode

typechecking

Status: Open.

Feature

#383 In facebook/pyrefly;

· nth10sd opened on May 28, 2025

Autocompletion for Polars/Pandas Data Frame Column names in function calls

language-serverIssues specific to our IDE integration rather than type checkingIssues specific to our IDE integration rather than type checking

stale

Status: Open.

Feature

#2139 In facebook/pyrefly;

· PGupta-Git opened on Jan 17, 2026