List view

merge tracing setup for CLI and LSP

internalAn internal refactor or improvementAn internal refactor or improvement

serverRelated to the LSP serverRelated to the LSP server

Status: Open.

#90 In astral-sh/ty;

· dhruvmanila opened on Aug 8, 2024

Display of overloaded definitions

diagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.

needs-designNeeds further design before implementationNeeds further design before implementation

overloads

Status: Open.

#102 In astral-sh/ty;

· dhruvmanila opened on May 1, 2025

Allow narrowing with <code>isinstance(x, str | int)</code> (PEP 604 union types)

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

Status: Open.

#122 In astral-sh/ty;

· MatthewMckee4 opened on Apr 19, 2025

support large unions of literals

set-theoretic typesunions, intersections and moreunions, intersections and more

Status: Open.

#124 In astral-sh/ty;

· carljm opened on Apr 16, 2025

unused suppression for <code>type: ignore</code>

suppressionRelated to supression of violations e.g. ty:ignoreRelated to supression of violations e.g. ty:ignore

Status: Open.

#130 In astral-sh/ty;

· MichaReiser opened on Apr 10, 2025

Improve <code>[unresolved-attribute]</code> diagnostic for the case of an invalid <code>__getattr__</code> method

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

diagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.

Status: Open.

Feature

#135 In astral-sh/ty;

· AlexWaygood opened on Apr 6, 2025

Fix <code>@no_type_check</code> regression involving unknown decorators

bugSomething isn't workingSomething isn't working

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

Status: Open.

#141 In astral-sh/ty;

· sharkdp opened on Apr 2, 2025

Add support for properties with deleters

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

Status: Open.

#142 In astral-sh/ty;

· sharkdp opened on Apr 2, 2025

Add proper support for class decorators

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

Status: Open.

#143 In astral-sh/ty;

· sharkdp opened on Apr 2, 2025

Add an opt-in diagnostic warning about unsound calls to <code>type[]</code>

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

Status: Open.

Feature

#145 In astral-sh/ty;

· AlexWaygood opened on Mar 31, 2025

Pass the typing conformance suite

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

Status: Open.

#146 In astral-sh/ty;

· carljm opened on Mar 27, 2025

full documentation

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#149 In astral-sh/ty;

· carljm opened on Mar 26, 2025

walrus expressions in a comprehension scope "leak" into the comprehension's enclosing scope

bugSomething isn't workingSomething isn't working

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

Status: Open.

#162 In astral-sh/ty;

· AlexWaygood opened on Mar 24, 2025

Check the return type of dunder methods

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

Status: Open.

#196 In astral-sh/ty;

· MichaReiser opened on Feb 19, 2025

Warn about too old python-version

Status: Open.

Feature

#201 In astral-sh/ty;

· MichaReiser opened on Feb 11, 2025

Diagnostic for conflicting declared attribute types

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

help wantedContributions especially welcomeContributions especially welcome

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

Status: Open.

Feature

#206 In astral-sh/ty;

· sharkdp opened on Feb 5, 2025

<code>tuple &amp; AlwaysFalsy</code> should simplify to <code>tuple[()]</code>

bugSomething isn't workingSomething isn't working

set-theoretic typesunions, intersections and moreunions, intersections and more

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

Status: Open.

#215 In astral-sh/ty;

· AlexWaygood opened on Jan 16, 2025

<code>AlwaysTruthy | bool</code> is equivalent to <code>AlwaysTruthy | Literal[False]</code>

bugSomething isn't workingSomething isn't working

set-theoretic typesunions, intersections and moreunions, intersections and more

Status: Open.

#216 In astral-sh/ty;

· AlexWaygood opened on Jan 15, 2025

Make <code>unused-ignore-comment</code> enabled by default

configurationRelated to settings and configurationRelated to settings and configuration

suppressionRelated to supression of violations e.g. ty:ignoreRelated to supression of violations e.g. ty:ignore

Status: Open.

Task

#278 In astral-sh/ty;

· AlexWaygood opened on May 8, 2025

uv integration

uv

Status: Open.

Feature

#536 In astral-sh/ty;

· MichaReiser opened on May 28, 2025

cyclic control flow for loops

control flow

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

Status: Open.

#232 In astral-sh/ty;

· carljm opened on Nov 7, 2024

validate incremental correctness by checking successive commits of real projects

Status: Open.

#125 In astral-sh/ty;

· carljm opened on Apr 15, 2025

Check implementation consistency for an overloaded function

help wantedContributions especially welcomeContributions especially welcome

overloads

Status: Open.

Task

#109 In astral-sh/ty;

· dhruvmanila opened on Apr 30, 2025

Check for overlapping overloads

overloads

Status: Open.

Feature

#103 In astral-sh/ty;

· dhruvmanila opened on May 1, 2025

Follow up on TODOs in semantic token provider

serverRelated to the LSP serverRelated to the LSP server

Status: Open.

Task

#791 In astral-sh/ty;

· MichaReiser opened on Jul 9, 2025