List view

Stack overflows for recursive protocols

bugSomething isn't workingSomething isn't working

fatala fatal error (panic or crash)a fatal error (panic or crash)

Status: Open.

#93 In astral-sh/ty;

· sharkdp opened on May 7, 2025

Stack overflow for large chain of inter-dependent definitions

bugSomething isn't workingSomething isn't working

fatala fatal error (panic or crash)a fatal error (panic or crash)

Status: Open.

#96 In astral-sh/ty;

· sharkdp opened on May 5, 2025

ty is slow for large tuples

performancePotential performance improvementPotential performance improvement

testingRelated to testing ty itselfRelated to testing ty itself

Status: Open.

#71 In astral-sh/ty;

· MichaReiser opened on May 5, 2025

Provide basic intelli-sense and diagnostics for non-project files

serverRelated to the LSP serverRelated to the LSP server

Status: Open.

Feature

#80 In astral-sh/ty;

· MichaReiser opened on Mar 14, 2025

Code completion

serverRelated to the LSP serverRelated to the LSP server

Status: Open.

Feature

#86 In astral-sh/ty;

· MichaReiser opened on Mar 14, 2025

type parameters scope of a generic class is an eager scope (in a non-stub file)

control flow

runtime semanticsAccurate modeling of how Python's semantics work at runtimeAccurate modeling of how Python's semantics work at runtime

Status: Open.

#107 In astral-sh/ty;

· carljm opened on May 1, 2025

Calling <code>is_file_open</code> degrades current query to durability LOW

performancePotential performance improvementPotential performance improvement

Status: Open.

#114 In astral-sh/ty;

· MichaReiser opened on Apr 23, 2025

Subscripted generic classes should not be considered instances of <code>type</code>

bugSomething isn't workingSomething isn't working

genericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementation

type propertiessubtyping, assignability, equivalence, and moresubtyping, assignability, equivalence, and more

Status: Open.

#116 In astral-sh/ty;

· AlexWaygood opened on Apr 22, 2025

Support narrowing using <code>TypeGuard</code> and <code>TypeIs</code>

help wantedContributions especially welcomeContributions especially welcome

narrowingrelated to flow-sensitive type narrowingrelated to flow-sensitive type narrowing

typing semanticstyping-module features, spec compliance, etctyping-module features, spec compliance, etc

Status: Open.

Feature

#117 In astral-sh/ty;

· dhruvmanila opened on Apr 21, 2025

prefer more precise declared type over gradual inferred type

Status: Open.

#136 In astral-sh/ty;

· carljm opened on Apr 6, 2025

On-hover improvements

serverRelated to the LSP serverRelated to the LSP server

Status: Open.

Feature

#140 In astral-sh/ty;

· MichaReiser opened on Apr 2, 2025

enforce Liskov on subclasses

typing semanticstyping-module features, spec compliance, etctyping-module features, spec compliance, etc

Status: Open.

#166 In astral-sh/ty;

· carljm opened on Mar 20, 2025

enforce type of <code>ClassVar</code> in subclasses

typing semanticstyping-module features, spec compliance, etctyping-module features, spec compliance, etc

Status: Open.

#167 In astral-sh/ty;

· beauxq opened on Mar 20, 2025

<code>ALL</code> rule selector

cliRelated to the command-line interfaceRelated to the command-line interface

configurationRelated to settings and configurationRelated to settings and configuration

Status: Open.

#174 In astral-sh/ty;

· MichaReiser opened on Mar 14, 2025

support <code>py.typed</code> with <code>partial</code>

typing semanticstyping-module features, spec compliance, etctyping-module features, spec compliance, etc

Status: Open.

#184 In astral-sh/ty;

· carljm opened on Mar 10, 2025

support bare/implicit type aliases

typing semanticstyping-module features, spec compliance, etctyping-module features, spec compliance, etc

Status: Open.

Feature

#221 In astral-sh/ty;

· carljm opened on Jan 9, 2025

multi-root workspaces in server

serverRelated to the LSP serverRelated to the LSP server

Status: Open.

#89 In astral-sh/ty;

· dhruvmanila opened on Aug 22, 2024

support type of <code>self</code> on instance methods and type of <code>cls</code> on classmethods

genericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementation

typing semanticstyping-module features, spec compliance, etctyping-module features, spec compliance, etc

Status: Open.

#159 In astral-sh/ty;

· carljm opened on Mar 26, 2025

support Protocols

Protocols

typing semanticstyping-module features, spec compliance, etctyping-module features, spec compliance, etc

Status: Open.

#161 In astral-sh/ty;

· carljm opened on Mar 26, 2025

panics found by the <code>py-fuzzer</code> fuzzer

bugSomething isn't workingSomething isn't working

fatala fatal error (panic or crash)a fatal error (panic or crash)

Status: Open.

#228 In astral-sh/ty;

· AlexWaygood opened on Dec 2, 2024

Filter overloads containing variadic parameter during call evaluation

callsIssues relating to call-signature checking and diagnosticsIssues relating to call-signature checking and diagnostics

overloads

Status: Open.

#551 In astral-sh/ty;

· dhruvmanila opened on May 30, 2025

"Missing self argument" error after dynamically replacing method

attribute accessInstance attributes, class attributes, etc.Instance attributes, class attributes, etc.

bugSomething isn't workingSomething isn't working

callsIssues relating to call-signature checking and diagnosticsIssues relating to call-signature checking and diagnostics

Status: Open.

#350 In astral-sh/ty;

· shiw-yang opened on May 13, 2025

Panics for self-referential (recursive) generic classes or type aliases

bugSomething isn't workingSomething isn't working

fatala fatal error (panic or crash)a fatal error (panic or crash)

Status: Open.

#256 In astral-sh/ty;

· davidbgk opened on May 7, 2025

Excessive runtime for large unions of tuples

bugSomething isn't workingSomething isn't working

hang

Status: Open.

#362 In astral-sh/ty;

· nijel opened on May 13, 2025

[panic] Panic 'too many cycle iterations' for recursive star import

fatala fatal error (panic or crash)a fatal error (panic or crash)

importsModule resolution, site-packages discovery, import-related diagnosticsModule resolution, site-packages discovery, import-related diagnostics

Status: Open.

#444 In astral-sh/ty;

· anatoli-tsinovoy opened on May 19, 2025