Search results

Conformance: Module with unannotated attributes rejected as protocol implementation

Status: Open.

#2414 In facebook/pyrefly;

· migeed-z opened on Feb 14, 2026

Fallback trick with ImportError and type ignore[assignment] lead to resolve the type as object

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.

#2410 In facebook/pyrefly;

· michailzhuk opened on Feb 13, 2026

Erroneous <code>unbound-name</code> when using <code>NoReturn</code>

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

Status: Open.

Bug

#2406 In facebook/pyrefly;

· MarcoGorelli opened on Feb 13, 2026

Problem with antigravity IDE

questionFurther information is requestedFurther information is requested

Status: Open.

Bug

#2404 In facebook/pyrefly;

· piero2809 opened on Feb 13, 2026

pyrefly has issue running in Codex worktrees

configuration

Status: Open.

Bug

#2402 In facebook/pyrefly;

· gmetzker-4c opened on Feb 13, 2026

false positive error in immutabledict constructor

meta

typechecking

Status: Open.

Bug

#2401 In facebook/pyrefly;

· yangdanny97 opened on Feb 12, 2026

Incorrect error for <code>numpy.iinfo(numpy.int32)</code>

overloads

Status: Open.

Bug

#2398 In facebook/pyrefly;

· jakevdp opened on Feb 12, 2026

<code>pl.scan_parquet</code> into <code>narwhals.from_native</code> throws possible overloads

overloads

Status: Open.

Bug

#2396 In facebook/pyrefly;

· akmalsoliev opened on Feb 12, 2026

Inconsistent widening of invariant container

questionFurther information is requestedFurther information is requested

Status: Open.

Bug

#2387 In facebook/pyrefly;

· breid48 opened on Feb 11, 2026

Window Smart App Control blocking pyrefly.exe

build-failsA build-time failure (either no compile or tests fail)A build-time failure (either no compile or tests fail)

Status: Open.

Bug

#2386 In facebook/pyrefly;

· wyfok opened on Feb 11, 2026

·  

V1 Release

Incorrect type inference when overriding <code>zip</code> and other builtins

overloads

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

Status: Open.

Bug

#2385 In facebook/pyrefly;

· jakevdp opened on Feb 11, 2026

·  

V1 Release

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

·  

V1 Release