Skip to content

Conversation

@renovate
Copy link
Contributor

@renovate renovate bot commented Feb 6, 2026

This PR contains the following updates:

Package Change Age Adoption Passing Confidence
ty (changelog) ==0.0.14==0.0.16 age adoption passing confidence

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

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

Configuration

📅 Schedule: Branch creation - "before 2am" (UTC), 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.

@renovate renovate bot added dependencies Upgrade or downgrade of project dependencies. no-stale This issue or PR is exempted from the stable bot. labels Feb 6, 2026
@codecov
Copy link

codecov bot commented Feb 6, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.88%. Comparing base (cdc1086) to head (abd0f90).
⚠️ Report is 4 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #1338   +/-   ##
=======================================
  Coverage   99.88%   99.88%           
=======================================
  Files           6        6           
  Lines         892      892           
  Branches      124      124           
=======================================
  Hits          891      891           
  Partials        1        1           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@renovate renovate bot force-pushed the renovate/ty-0.x branch 2 times, most recently from 4e599b2 to bc18312 Compare February 9, 2026 05:55
@renovate renovate bot changed the title ⬆️ Update dependency ty to v0.0.15 ⬆️ Update dependency ty to v0.0.16 Feb 11, 2026
@renovate renovate bot force-pushed the renovate/ty-0.x branch 2 times, most recently from 1a3a8f6 to fba65d6 Compare February 11, 2026 04:47
@renovate renovate bot force-pushed the renovate/ty-0.x branch from fba65d6 to abd0f90 Compare February 11, 2026 07:53
@sonarqubecloud
Copy link

@liudger liudger merged commit 5e44e86 into main Feb 11, 2026
19 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Feb 12, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

dependencies Upgrade or downgrade of project dependencies. no-stale This issue or PR is exempted from the stable bot.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant