Search results

does not recognize exhaustive class patterns using __match_args__ on generic union aliases

Status: Open.

#3694 In astral-sh/ty;

· lennardwalter opened on Jun 8, 2026

invalid-argument-type false positive: generic type parameter resolved to Unknown after or expression

bidirectional inferenceInference of types that takes into account the context of a declared type or expected typeInference of types that takes into account the context of a declared type or expected type

Status: Open.

#3693 In astral-sh/ty;

· eitan-protego opened on Jun 8, 2026

invalid-argument-type false positive: @asynccontextmanager does not propagate generic type parameter from arguments

Status: Open.

#3692 In astral-sh/ty;

· eitan-protego opened on Jun 8, 2026

invalid-argument-type false positive: ParamSpec not propagated through composed higher-order functions

Status: Open.

#3691 In astral-sh/ty;

· eitan-protego opened on Jun 8, 2026

Wrong type in inlay hint and hover over assignment target of a property with wider setter type

serverRelated to the LSP serverRelated to the LSP server

Status: Open.

#3690 In astral-sh/ty;

· hamdanal opened on Jun 7, 2026

nonstop ty encountered a problem. Please refer to the logs for more details.

bugSomething isn't workingSomething isn't working

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

serverRelated to the LSP serverRelated to the LSP server

Status: Open.

Bug

#3689 In astral-sh/ty;

· hunterhogan opened on Jun 7, 2026

·  

Stable

It seems that win32gui and win32process in pywin32 cannot be correctly recognized as installed.

questionAsking for support or clarificationAsking for support or clarification

Status: Open.

#3688 In astral-sh/ty;

· MaxZzyo opened on Jun 6, 2026

BUG: unexpected broadening following isinstance(x, Sequence) and isinstance(x, Mapping)

Status: Open.

#3684 In astral-sh/ty;

· neutrinoceros opened on Jun 6, 2026

panic: Cycle recovery function for infer_definition_types introduced a cycle, depending on FunctionType

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

fuzzerIssues surfaced by fuzzing tyIssues surfaced by fuzzing ty

Status: Open.

#3682 In astral-sh/ty;

· correctmost opened on Jun 5, 2026

·  

ty-1.1

support precise types from enum.property getter

Status: Open.

#3681 In astral-sh/ty;

· carljm opened on Jun 5, 2026

Hang with nested unbound variable inside of infinite loop

fuzzerIssues surfaced by fuzzing tyIssues surfaced by fuzzing ty

performancePotential performance improvementPotential performance improvement

Status: Open.

#3677 In astral-sh/ty;

· correctmost opened on Jun 5, 2026

·  

Stable

Generic subclass narrowing loses T after isinstance

bugSomething isn't workingSomething isn't working

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

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

Status: Open.

#3676 In astral-sh/ty;

· mrexodia opened on Jun 5, 2026