-
Notifications
You must be signed in to change notification settings - Fork 322
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Incorrect type inference for TypedDict declared variable in loops
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 workingcyclesRecursive type definitions, self-referential inference, cycle detection, and cycle recoveryRecursive type definitions, self-referential inference, cycle detection, and cycle recoveryStatus: Open.Indefinite hang with recursive aliases on ty>=0.0.66
cyclesRecursive type definitions, self-referential inference, cycle detection, and cycle recoveryRecursive type definitions, self-referential inference, cycle detection, and cycle recoverynarrowingrelated to flow-sensitive type narrowingrelated to flow-sensitive type narrowingperformancePotential performance improvementPotential performance improvementset-theoretic typesunions, intersections and moreunions, intersections and moreStatus: Open.Should
isinstance(f, Callable)andif callable(f)behave the same?narrowingrelated to flow-sensitive type narrowingrelated to flow-sensitive type narrowingruntime semanticsAccurate modeling of how Python's semantics work at runtimeAccurate modeling of how Python's semantics work at runtimeStatus: Open.Top[list[Unknown]]incorrectly considered a subtype oflist[T]bugSomething isn't workingSomething isn't workinggenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationset-theoretic typesunions, intersections and moreunions, intersections and moretype propertiessubtyping, assignability, equivalence, and moresubtyping, assignability, equivalence, and moreStatus: Open.boolis not considered disjoint from NewTypes ofint, butLiteral[True]is.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.#4187 In astral-sh/ty;PEP 723: Use uv to initialize script environment
featureNew feature or requestNew feature or requestStatus: Open.PEP 723: Watch script search paths and typeshed versions for changes
cliRelated to the command-line interfaceRelated to the command-line interfaceserverRelated to the LSP serverRelated to the LSP serverStatus: Open.PEP 723: Report diagnostic for files with invalid metadata headers
configurationRelated to settings and configurationRelated to settings and configurationdiagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.Status: Open.Retain text ranges for configuration values read from PEP 723 metadata
configurationRelated to settings and configurationRelated to settings and configurationdiagnosticsRelated to reporting of diagnostics.Related to reporting of diagnostics.Status: Open.code completion replacement issue
completionsBugs or features relating to autocomplete suggestionsBugs or features relating to autocomplete suggestionsneeds-infoMore information is needed from the issue authorMore information is needed from the issue authorserverRelated to the LSP serverRelated to the LSP serverStatus: Open.#4175 In astral-sh/ty;Re-scope
TypeVar/ParamSpecin returnCallableonly when used in both parameters and return typegenericsBugs or features relating to ty's generics implementationBugs or features relating to ty's generics implementationparamspecParamSpec and Concatenate inference, forwarding, specialization, validation, and editor supportParamSpec and Concatenate inference, forwarding, specialization, validation, and editor supportStatus: Open.[feature] code action to generate docstring from type annotations
featureNew feature or requestNew feature or requestserverRelated to the LSP serverRelated to the LSP serverwishNot on the current roadmap; maybe in the futureNot on the current roadmap; maybe in the futureStatus: Open.#4164 In astral-sh/ty;