-
Notifications
You must be signed in to change notification settings - Fork 331
OpenSep 12, 2026
No due date
•Last updated 84% complete
List view
0 of 125 selected 0 issues of 125 selected
Generic constructor inference becomes extremely slow when the expected type is a recursive protocol
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 typegenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationperformancePotential performance improvementPotential performance improvementStatus: Open.#4269 In astral-sh/ty;hang on nested iterable types
bugSomething isn't workingSomething isn't workingperformancePotential performance improvementPotential performance improvementStatus: Open.#3827 In astral-sh/ty;Better diagnostic to help users annotate async generator in stub
asyncIssues related to checking code using async/awaitIssues related to checking code using async/awaitdiagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.documentationImprovements or additions to documentationImprovements or additions to documentationstubsissues with understanding stub (pyi) filesissues with understanding stub (pyi) filesStatus: Open.#2875 In astral-sh/ty;typevar solver can't solve a generic union
constraint-solverRelating to the constraint-set solverRelating to the constraint-set solvergenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationset-theoretic typesunions, intersections and moreunions, intersections and moreStatus: Open.#1703 In astral-sh/ty;Typing guide, migration guide, and other documentation
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.invalid-return-typefalse positive on constrained generic when narrowing for each constraintgenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationnarrowingrelated to flow-sensitive type narrowingrelated to flow-sensitive type narrowingStatus: Open.#621 In astral-sh/ty;"Missing self argument" error after dynamically replacing method
attributesInstance attributes, class attributes, etc.Instance attributes, class attributes, etc.bugSomething isn't workingSomething isn't workingcallsIssues relating to call-signature checking and diagnosticsIssues relating to call-signature checking and diagnosticsmetaprogrammingLibraries that make heavy use of dynamic features such as metaclassesLibraries that make heavy use of dynamic features such as metaclassesmethod-receiverIssues validating the method receiver typeIssues validating the method receiver typeStatus: Open.#350 In astral-sh/ty;- Status: Open.
Document public parts of ty_extensions API
documentationImprovements or additions to documentationImprovements or additions to documentationneeds-designNeeds further design before implementationNeeds further design before implementationStatus: Open.invalid-return-typefalse positive on constrained genericgenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationStatus: Open.#688 In astral-sh/ty;Add support for the LSP's rename file refactor
renameLanguage-server renaming of symbols, parameters, members, imports, and filesLanguage-server renaming of symbols, parameters, members, imports, and filesserverRelated to the LSP serverRelated to the LSP serverStatus: Open.#1560 In astral-sh/ty;Support self-referential generic implicit/PEP-613 type aliases
cyclesRecursive type definitions, self-referential inference, cycle detection, and cycle recoveryRecursive type definitions, self-referential inference, cycle detection, and cycle recoverygenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationunsoundnessTy can give an expression type T, but at runtime it can have a non-T value, with no diagnostic.Ty can give an expression type T, but at runtime it can have a non-T value, with no diagnostic.Status: Open.#1738 In astral-sh/ty;ty allows passing different types for constrained TypeVar arguments
bugSomething isn't workingSomething isn't workinggenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationStatus: Open.#1090 In astral-sh/ty;improve typevar solving
constraint-solverRelating to the constraint-set solverRelating to the constraint-set solvergenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationStatus: Open.#623 In astral-sh/ty;Emit diagnostic on constructor call to class with abstract methods
constructor-callRelating to calls to constructors (class objects, generic aliases, etc)Relating to calls to constructors (class objects, generic aliases, etc)diagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.typing semanticstyping-module features, spec compliance, etctyping-module features, spec compliance, etcStatus: Open.#1877 In astral-sh/ty;typevars considered inferable when they shouldn't be
bugSomething isn't workingSomething isn't workingconstraint-solverRelating to the constraint-set solverRelating to the constraint-set solvergenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationStatus: Open.Infers wrong type from numpy's
np.interpbidirectional 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 typegenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationStatus: Open.#1429 In astral-sh/ty;Handle "deep" mutual typevar constraints
constraint-solverRelating to the constraint-set solverRelating to the constraint-set solvergenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationStatus: Open.#2045 In astral-sh/ty;Extend
invalid-method-overridediagnostics to cover methods being overridden by non-methodsdiagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.overridesIssues related to validating subclass overrides (Liskov checks, etc)Issues related to validating subclass overrides (Liskov checks, etc)typing semanticstyping-module features, spec compliance, etctyping-module features, spec compliance, etcStatus: Open.#2156 In astral-sh/ty;Enforce the Liskov Substitution Principle for non-methods
overridesIssues related to validating subclass overrides (Liskov checks, etc)Issues related to validating subclass overrides (Liskov checks, etc)typing semanticstyping-module features, spec compliance, etctyping-module features, spec compliance, etcStatus: Open.#2158 In astral-sh/ty;Use Iterable type context when inferring types inside a literal tuple
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 typegenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationStatus: Open.#2053 In astral-sh/ty;How to correctly type async context managers with overloads
asyncIssues related to checking code using async/awaitIssues related to checking code using async/awaitbugSomething isn't workingSomething isn't workingcallsIssues relating to call-signature checking and diagnosticsIssues relating to call-signature checking and diagnosticsStatus: Open.#2057 In astral-sh/ty;Narrowing of constrained typevar discards constraint static type generic information
bugSomething isn't workingSomething isn't workinggenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationnarrowingrelated to flow-sensitive type narrowingrelated to flow-sensitive type narrowingStatus: Open.#1475 In astral-sh/ty;Consider renaming
unresolved-attributeasmissing-attributeconfigurationRelated to settings and configurationRelated to settings and configurationStatus: Open.#2471 In astral-sh/ty;generic decorator on method annotated with Self solves to Unknown
constructor-callRelating to calls to constructors (class objects, generic aliases, etc)Relating to calls to constructors (class objects, generic aliases, etc)genericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationmethod-receiverIssues validating the method receiver typeIssues validating the method receiver typeStatus: Open.#2520 In astral-sh/ty;