chore(deps): update dependency ty to v0.0.16

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.14 → ==0.0.16

---

Warning

Some dependencies could not be looked up. Check the Dependency Dashboard for more information.

---

Release Notes

astral-sh/ty (ty)

v0.0.16

Compare Source

Released on 2026-02-10.

Bug fixes

• Allow stringified argument in PEP-613 alias to Optional (#​23200)
• Fix fuzzer panic on slice expression in unclosed comprehension (#​23146)
• Fix combinatorial explosion due to fixed-length tuple expansion in overload matching (#​23190)
• Respect @no_type_check when combined with other decorators (#​23177)
• Fix diagnostic location for an incorrect sub-call to a specialized ParamSpec (#​23036)

LSP server

• Assign lower completions ranking to deprecated functions and classes (#​23089)
• Change goto-def for class constructors to always go to class definition (#​23071)
• Ensure diagnostic mode is consistent across projects inside the LSP server (#​23121)
• Don't include the class Foo in autocomplete suggestions when the user is typing out Foo's bases (#​23141)
• Fix parameter references across files via keyword args (#​23012)
• Fix wrong inlay hints for overloaded function arguments (#​23179)
• Support diagnostics in newly created files inside neovim (#​23095)
• Exclude already-included classes when providing completion suggestions for class bases (#​23085)

CLI

• Add support for TY_OUTPUT_FORMAT environment variable (#​23123)
• Fall back to python3 found in $PATH if no environment is found (#​22843)

Type checking

• Add inconsistent-mro autofix to move Generic[] to the end of the bases list (#​22998)
• Add precise return-type inference for struct.unpack (#​22562, #​23130)
• Disallow TypeVars within ClassVars (#​23184)
• Emit diagnostic on unbound call to abstract @classmethod or @staticmethod (#​23182)
• Fix false-positive diagnostics when providing the total= keyword to TypedDict classes that had PEP-695 type parameters (#​23114)
• Narrow both left- and right-hand operands where possible (#​23084)
• Narrow chained operators (#​23093)
• Narrow equality subscripts on either operand (#​23104)
• Recognize __dataclass_transform__ to support SQLModel (#​23070)
• Relax the attribute narrowing condition to support deeper-nested attribute type narrowing (#​22440)
• Support constrained TypeVar compatibility across function boundaries (#​23103)
• Support comparison methods (__gt__, etc.) where a parameter is annotated with a Literal type (#​23100)
• Support partially specialized type context (#​22748)
• Use type context when inferring constructor argument types (#​23139)
• Validate TypedDict constructor calls for generic aliases and type[...] targets (#​23113)

Performance

• Conservative narrowing places optimization (#​22734)

Contributors

• @​rbange
• @​rayzeller
• @​charliermarsh
• @​11happy
• @​figsoda
• @​mtshiba
• @​ibraheemdev
• @​ngnpope
• @​sakgoyal
• @​oconnor663
• @​ericmarkmartin
• @​Hugo-Polloli
• @​Glyphack
• @​sharkdp
• @​carljm
• @​BurntSushi

v0.0.15

Compare Source

Released on 2026-02-04.

Bug fixes

• Add support for resolving imports of packages installed into Debian/Ubuntu dist-packages directories (#​22466)
• Avoid not-iterable false positives when iterating over an instance of an intersection type with only negated elements (#​22089)
• Fix support for stringized annotations in very large files (#​22913)
• Don't emit Liskov diagnostics for methods with mangled names (#​23062)
• Enforce that a Final symbol cannot be reassigned even after a conditional binding (#​22986)
• Fix TypedDict construction from existing TypedDict values (#​22904)
• Fix Self resolution for classes nested within methods (#​22964)
• Fix bidirectional inference with PEP 695 union type aliases (#​22988)
• Fix edge-case bugs when narrowing tagged unions in match statements (#​22870)
• Fix false-positive diagnostics when iterating over an instance of an intersection that includes a TypeVar of which the upper bound is a union where the union includes a non-iterable type (#​22117)
• Fix lookup of __contains__ to respect descriptors (#​23056)
• Fix narrowing of nonlocal variables with conditional assignments (#​22966)
• Fix several bugs that could affect NewTypes of NewTypes of float (#​22997)
• Fix several type narrowing bugs involving PEP-695 type aliases (#​22894)
• Fix spurious query cycles in decorated functions with parameter defaults, for improved performance and improved determinism (#​23014)
• Fix unary and comparison operators for TypeVars with union bounds (#​22925)
• Understand functions as method descriptors even if they are decorated with a decorator annotated as returning a PEP-695 alias to a Callable type (#​22902)
• dataclass_transform: Fix visibility of field specifiers when models are nested inside methods (#​23069)

LSP server

• Fix hover showing Unknown for bare Final instance attributes (#​23003)
• Improve support for goto-type, goto-declaration, hover, and highlighting of string annotations (#​22878)
• Include setters and deleters when renaming properties (#​22999)
• Show type qualifiers like Final in on-hover hints (#​23005)

Configuration

• Add new unused-type-ignore-comment rule (#​22790)
• Add a mechanism to ignore/warn/select all rules (#​22832)
• Support multiple workspace folders in a single ty LSP server instance (#​22953)
• Only add ./src as a search path if ./src/__init__.py(i) does not exist (#​22851)

Type checking

• Add a diagnostic detecting if a variable is declared as Final but never has any bindings (#​23001)
• Add a diagnostic detecting overridden comparison dunder methods on order=True dataclasses (#​22689)
• Add a hint to invalid-argument-type and invalid-assignment diagnostics if a variable is annotated with a type from the numbers module (#​22931, #​22938)
• Add diagnostic hint on unresolved-reference to suggest using "list" instead of "List" (#​22827)
• Add new diagnostic for invalid dataclass field orders (#​19825)
• Allow a subclass method with a positional-only parameter to override a superclass method without that parameter if the parameter in the subclass method has a default value (#​23037)
• Allow self-referential imports outside the global scope (#​22963)
• Ban ... in odd places inside tuple specializations (#​22889)
• Ban Required, NotRequired and ReadOnly in parameter annotations (#​22888)
• Ban legacy TypeVar bounds or constraints from containing type variables (#​22949)
• Ban multiple unpacked variadic tuples in a tuple specialization (#​22884)
• Detect generic Callables in the return type of function signatures (#​22954)
• Detect invalid isinstance() and issubclass() calls against TypedDict classes (#​22887)
• Detect invalid issubclass() calls against Protocol classes with non-method members (#​22896)
• Detect invalid attempts to subclass Protocol[] and Generic[] simultaneously (#​22948)
• Emit a diagnostic on incorrect applications of the legacy convention for specifying positional-only parameters (#​22943)
• Emit an error if a TypeVarTuple is used to subscript Generic or Protocol without being unpacked (#​22952)
• Fallback to metaclass __getattr__ or __getattribute__ when looking up attributes on class objects (#​22985)
• Fix a bug where an overridden type in a dataclass subclass would not be respected if the dataclass subclass field had a default value but the superclass field did not (#​22965)
• Improve bidirectional type inference involving PEP-695 type aliases (#​22989)
• Improve detection of invalid NewTypes with generic bases (#​22961)
• Improve reachability analysis when evaluating the truthiness of expressions that involve variables that may not be bound in all code paths (#​22971)
• Improve the error message if ** is used with a non-mapping in the context of a call to an overloaded function (#​22921)
• Infer ParamSpec from class constructors for callable protocols (#​22853)
• Move the location of some invalid-overload diagnostics (#​22933)
• Point to an overload with an invalid @final decorator when emitting invalid-overload errors for invalid @final decorators (#​22893)
• Avoid false positives when iterating over an instance of an intersection with only negated elements by preserving "pure negation" types in descriptor lookups (#​22907)
• Promote Literal types when inferring elements for very large unannotated tuples, for improved performance (#​22841)
• Recognize functions with stub bodies in Protocol classes as implicitly abstract (#​22838)
• Reduce false positives involving heterogeneous dicts by tracking dictionary literal keys as individual places (#​22882)
• Reduce false positives when subscripting classes generic over TypeVarTuples (#​22950)
• Remove special handling for Any() in match class patterns (#​23011)
• Support type[None] in type expressions (#​22892)
• Support legacy namespace packages declared using pkg_resources.declare_namespace (#​22987)
• Sync vendored typeshed stubs (#​23006), Typeshed diff
• Validate signatures of dataclass __post_init__ methods (#​22730)

Contributors

• @​charliermarsh
• @​stefanvanburen
• @​ibraheemdev
• @​abhijeetbodas2001
• @​MichaReiser
• @​dcreager
• @​PrettyWood
• @​sharkdp
• @​oconnor663
• @​Feiyang472
• @​denyszhak
• @​mtshiba
• @​AlexWaygood
• @​11happy
• @​BurntSushi
• @​carljm
• @​Gankra
• @​MentalMegalodon
• @​thejchap

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.