-
Notifications
You must be signed in to change notification settings - Fork 331
OpenSep 10, 2026
No due date
•Last updated 25% complete
List view
0 of 238 selected 0 issues of 238 selected
Hang on variable declaration TypeOf itself then assignment
bugSomething isn't workingSomething isn't workingperformancePotential performance improvementPotential performance improvementStatus: Open.#3802 In astral-sh/ty;[panic] Recursive TypeOf across multiple union arms exhausts cycle iterations
bugSomething isn't workingSomething isn't workingcyclesRecursive type definitions, self-referential inference, cycle detection, and cycle recoveryRecursive type definitions, self-referential inference, cycle detection, and cycle recoveryfatala fatal error (panic or crash)a fatal error (panic or crash)set-theoretic typesunions, intersections and moreunions, intersections and moreStatus: Open.#3837 In astral-sh/ty;AlwaysTruthy | boolis equivalent toAlwaysTruthy | Literal[False]bugSomething isn't workingSomething isn't workingliteral-typesLiteral and LiteralString type inference, promotion, narrowing, assignability, and displayLiteral and LiteralString type inference, promotion, narrowing, assignability, and displayset-theoretic typesunions, intersections and moreunions, intersections and moretype propertiessubtyping, assignability, equivalence, and moresubtyping, assignability, equivalence, and moreStatus: Open.#216 In astral-sh/ty;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 runtimeStatus: Open.#196 In astral-sh/ty;Warn about too old python-version
configurationRelated to settings and configurationRelated to settings and configurationStatus: Open.#201 In astral-sh/ty;tuple & AlwaysFalsyshould simplify totuple[()]bugSomething isn't workingSomething isn't workingset-theoretic typesunions, intersections and moreunions, intersections and moretype propertiessubtyping, assignability, equivalence, and moresubtyping, assignability, equivalence, and moreStatus: Open.#215 In astral-sh/ty;Non deterministic diagnostics
bugSomething isn't workingSomething isn't workingdiagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.non-determinismFlaky, order-dependent, race-dependent, or otherwise non-deterministic behaviorFlaky, order-dependent, race-dependent, or otherwise non-deterministic behaviorStatus: Open.#1670 In astral-sh/ty;Non-deterministic overload matching failure
bugSomething isn't workingSomething isn't workingnon-determinismFlaky, order-dependent, race-dependent, or otherwise non-deterministic behaviorFlaky, order-dependent, race-dependent, or otherwise non-deterministic behaviorStatus: Open.#1389 In astral-sh/ty;Support functools.partial
callsIssues relating to call-signature checking and diagnosticsIssues relating to call-signature checking and diagnosticsStatus: Open.Advanced
TypedDictsupporttyping semanticstyping-module features, spec compliance, etctyping-module features, spec compliance, etcStatus: Open.Is there some way we can support setuptools-style editable installs?
importsModule resolution, site-packages discovery, import-related diagnosticsModule resolution, site-packages discovery, import-related diagnosticsStatus: Open.#475 In astral-sh/ty;Improve diagnostics (and documentation) for unresolved imports caused by editable installs that use setuptools as their build backend
diagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.documentationImprovements or additions to documentationImprovements or additions to documentationimportsModule resolution, site-packages discovery, import-related diagnosticsModule resolution, site-packages discovery, import-related diagnosticsStatus: Open.#585 In astral-sh/ty;Change
Type::memberto return aResultand rename it totry_memberinternalAn internal refactor or improvementAn internal refactor or improvementStatus: Open.#194 In astral-sh/ty;Display of overloaded definitions
diagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.needs-designNeeds further design before implementationNeeds further design before implementationStatus: Open.#102 In astral-sh/ty;improve diagnostics for C extension modules without stubs
diagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.importsModule resolution, site-packages discovery, import-related diagnosticsModule resolution, site-packages discovery, import-related diagnosticsstubsissues with understanding stub (pyi) filesissues with understanding stub (pyi) filesStatus: Open.#487 In astral-sh/ty;improve diagnostics for other sources of failed calls to overloaded routines
callsIssues relating to call-signature checking and diagnosticsIssues relating to call-signature checking and diagnosticsdiagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.Status: Open.#409 In astral-sh/ty;improve diagnostic context for unsupported-operator
diagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.Status: Open.#391 In astral-sh/ty;Enable LRU for
parsed_module,semantic_indexand maybe more queriesmemoryrelated to memory usagerelated to memory usageStatus: Open.#789 In astral-sh/ty;ty fails to lookup relative imports if the relative path from the nearest import root includes an invalid module name
importsModule resolution, site-packages discovery, import-related diagnosticsModule resolution, site-packages discovery, import-related diagnosticsStatus: Open.#839 In astral-sh/ty;Allow JSON as the output format
cliRelated to the command-line interfaceRelated to the command-line interfaceStatus: Open.#1064 In astral-sh/ty;Consider vendoring third-party typeshed stubs, too
needs-decisionAwaiting a decision from a maintainerAwaiting a decision from a maintainerstubsissues with understanding stub (pyi) filesissues with understanding stub (pyi) filesStatus: Open.#1104 In astral-sh/ty;Solve
TtoNeverfor*args: Twhere no arguments are passed for*argsconstraint-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.#1251 In astral-sh/ty;Error in type inference of arguments to
__init_subclass__in subclass declarationbidirectional 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 typebugSomething isn't workingSomething isn't workingStatus: Open.#3198 In astral-sh/ty;Type parameter over-substituted with extra wrapping layer when constructing a generic class whose field is the result of a wrapping generic method
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 typebugSomething isn't workingSomething isn't workingconstraint-solverRelating to the constraint-set solverRelating to the constraint-set solverconstructor-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 implementationStatus: Open.#3399 In astral-sh/ty;Tracking issue for override-related checks (including the Liskov Substitution Principle)
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.#166 In astral-sh/ty;