List view

Generic ParamSpec

typechecking

typeshed

Status: Open.

Bug

#43 In facebook/pyrefly;

· yangdanny97 opened on Mar 27, 2025

Run pyrefly in typeshed CI

stale

typechecking

Status: Open.

Task

#4 In facebook/pyrefly;

· lolpack opened on Mar 4, 2025

Cannot iterate over enums

pytorch

Status: Open.

Bug

#71 In facebook/pyrefly;

· grievejia opened on Apr 2, 2025

Narrowed type is not reflected in nested scopes

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

Disallow assigning to Final/@final members & variables

typechecking

Status: Open.

Feature

#45 In facebook/pyrefly;

· yangdanny97 opened on Mar 27, 2025

[feature] Support Abstract Classes/Methods

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

#46 In facebook/pyrefly;

· yangdanny97 opened on Mar 27, 2025

special-case join/format/replace for LiteralString

typechecking

UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritised

Status: Open.

Feature

#48 In facebook/pyrefly;

· yangdanny97 opened on Mar 27, 2025

Feature: support TypeAliasType

pytorch

typechecking

UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritised

Status: Open.

Feature

#50 In facebook/pyrefly;

· yangdanny97 opened on Mar 27, 2025

Feature: inheritance checks for typed dictionaries

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

#52 In facebook/pyrefly;

· yangdanny97 opened on Mar 28, 2025

Feature: Recursive type aliases

stale

typechecking

Status: Open.

Feature

#60 In facebook/pyrefly;

· yangdanny97 opened on Mar 31, 2025

[bug] Pyrefly doesn't yet filter non-instance methods when inferring attributes

UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritised

Status: Open.

Bug

#195 In facebook/pyrefly;

· stroxler opened on May 14, 2025

[Bug][CLI]: Pyrefly doesn't watch when passing <code>--watch</code> flag

Status: Open.

Bug

#200 In facebook/pyrefly;

· connernilsen opened on May 14, 2025

[Bug] No error on missing <code>__all__</code> implementation

Status: Open.

Bug

#204 In facebook/pyrefly;

· kinto0 opened on May 15, 2025

Function invocation pins type of arguments too early

stale

UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritised

Status: Open.

Bug

#105 In facebook/pyrefly;

· grievejia opened on Apr 16, 2025

Validate typevar instantiation against constraints and bounds

Status: Open.

Bug

#111 In facebook/pyrefly;

· grievejia opened on Apr 16, 2025

Inconsistent override check doesn't work with generic functions

Status: Open.

Bug

#114 In facebook/pyrefly;

· grievejia opened on Apr 17, 2025

Recognition of typevars obtained by attribute-access imported modules

Status: Open.

Bug

#129 In facebook/pyrefly;

· migeed-z opened on Apr 22, 2025

Pyrefly should work in popular CI tools

typechecking

Status: Open.

Feature

#11 In facebook/pyrefly;

· lolpack opened on Mar 4, 2025

[Feature] warn on @deprecated

Status: Open.

Feature

#376 In facebook/pyrefly;

· yangdanny97 opened on May 27, 2025

Make None generalise to Optional[T]

helion

UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritised

Status: Open.

Task

#226 In facebook/pyrefly;

· ndmitchell opened on May 17, 2025

Pyrefly cannot infer obvious subtyping opportunities

questionFurther information is requestedFurther information is requested

Status: Open.

#382 In facebook/pyrefly;

· bigfootjon opened on May 27, 2025

<code>tuple[()] | tuple[int, *tuple[int, ...]]</code> should be equivalent to <code>tuple[int, ...]</code>

Status: Open.

Bug

#273 In facebook/pyrefly;

· yangdanny97 opened on May 19, 2025

Never/NoReturn narrowing

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

UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritised

Status: Open.

Bug

#361 In facebook/pyrefly;

· Zaczero opened on May 26, 2025

IDE Feature Tracker

codenav

Status: Open.

Task

#344 In facebook/pyrefly;

· lolpack opened on May 23, 2025

Use non-stdlib type stubs bundled with typeshed

configuration

stale

typeshed

Status: Open.

Feature

#572 In facebook/pyrefly;

· connernilsen opened on Jun 25, 2025