Search results

LSP: Incorrect handling of code action request

Status: Open.

#3823 In facebook/pyrefly;

· rwols opened on Jun 15, 2026

divmod does not work right

Status: Open.

#3822 In facebook/pyrefly;

· cmp0xff opened on Jun 15, 2026

Incorrect TypeIs narrowing of union of type objects

msgspecIssues related to support for MsgspecIssues related to support for Msgspec

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.

#3821 In facebook/pyrefly;

· sobolevn opened on Jun 15, 2026

Incorrect union narrowing with is EnumMember

msgspecIssues related to support for MsgspecIssues related to support for Msgspec

Status: Open.

#3820 In facebook/pyrefly;

· sobolevn opened on Jun 15, 2026

unsupported-operation when matching on overloads

quansight

typechecking

Status: Open.

Bug

#3819 In facebook/pyrefly;

· MarcoGorelli opened on Jun 15, 2026

support dep version, description, pub time in pyproject

Status: Open.

Feature

#3815 In facebook/pyrefly;

· asukaminato0721 opened on Jun 14, 2026

Docs use pyrefly coverage check, but the CLI only supports pyrefly report

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

Task

#3814 In facebook/pyrefly;

· Toroi01 opened on Jun 14, 2026

expand or show fields of Unpack[ ]

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.

Feature

#3813 In facebook/pyrefly;

· asukaminato0721 opened on Jun 14, 2026

/ is not supported between Tensor and Module in pytorch

Status: Open.

#3812 In facebook/pyrefly;

· asukaminato0721 opened on Jun 14, 2026

Pyrefly does not understand PEP 561 partial stubs

Status: Open.

#3811 In facebook/pyrefly;

· hamdanal opened on Jun 14, 2026

Returned type () -> int is not assignable to declared return type () -> int

Status: Open.

#3810 In facebook/pyrefly;

· amas127 opened on Jun 14, 2026

# type: ignore does not support specific error codes

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

#3807 In facebook/pyrefly;

· dillydill123 opened on Jun 14, 2026