Search results

False positive bad-instantiation due to abstract __dataclass_fields__

Status: Open.

#2477 In facebook/pyrefly;

· superbobry opened on Feb 20, 2026

Add compiler like mypyc

Status: Open.

Feature

#2476 In facebook/pyrefly;

· asukaminato0721 opened on Feb 20, 2026

[match-case]: mapping pattern narrowing inconsistent with <code>isinstance</code>

Status: Open.

#2474 In facebook/pyrefly;

· randolf-scholz opened on Feb 20, 2026

Overload is resolved artibitrarily when forced through a <code>Callable</code>

Status: Open.

#2470 In facebook/pyrefly;

· fangyi-zhou opened on Feb 19, 2026

Wrong bad-keyword-argument error in case of accompanying unpacked-list function input

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.

typechecking

Status: Open.

Feature

#2468 In facebook/pyrefly;

· FlorianLindinger opened on Feb 19, 2026

Feature: Recognize list is too short (less than required parameters) for unpacked-list parameter input

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.

typechecking

Status: Open.

Feature

#2467 In facebook/pyrefly;

· FlorianLindinger opened on Feb 19, 2026

rank items from <code>__init__.py</code> lower in symbol search

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

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

Status: Open.

Feature

#2465 In facebook/pyrefly;

· MartinBernstorff opened on Feb 19, 2026

WYSIWYG reporting of generic type arguments default

readability

typechecking

Status: Open.

Feature

#2461 In facebook/pyrefly;

· jorenham opened on Feb 18, 2026

a random idea: add letter color for einsum

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

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.

readability

Status: Open.

Feature

#2459 In facebook/pyrefly;

· yudi-ai-mage opened on Feb 18, 2026

support more check on namedtuple

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.

typechecking

Status: Open.

Bug

#2458 In facebook/pyrefly;

· asukaminato0721 opened on Feb 18, 2026

for non ABC base class, abstract method with NotImplementedError be infer as Never then in an inconsistent manner

needs-triage

Status: Open.

#2456 In facebook/pyrefly;

· asukaminato0721 opened on Feb 18, 2026

<code>NamedTuple</code> inheriting class isn't assignable when using <code>TypeVar</code>

typechecking

Status: Open.

Bug

#2455 In facebook/pyrefly;

· krishsai7 opened on Feb 18, 2026