Skip to content

Conversation

@renovate
Copy link
Contributor

@renovate renovate bot commented Feb 7, 2026

This PR contains the following updates:

Package Change Age Confidence
ty (changelog) ==0.0.14==0.0.15 age confidence

Release Notes

astral-sh/ty (ty)

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 - "every weekend" (UTC), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

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.

Signed-off-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@renovate renovate bot added dependencies Pull requests that update a dependency file python Anything related to Python code labels Feb 7, 2026
@renovate renovate bot enabled auto-merge (squash) February 7, 2026 01:44
@github-project-automation github-project-automation bot moved this to In Progress in MQT Compilation Feb 7, 2026
@renovate renovate bot merged commit 114449a into main Feb 7, 2026
23 checks passed
@renovate renovate bot deleted the renovate/all-patch branch February 7, 2026 02:30
@github-project-automation github-project-automation bot moved this from In Progress to Done in MQT Compilation Feb 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file python Anything related to Python code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants