You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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)
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)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR contains the following updates:
>=0.0.14→>=0.0.15Release Notes
astral-sh/ty (ty)
v0.0.15Compare Source
Released on 2026-02-04.
Bug fixes
dist-packagesdirectories (#22466)not-iterablefalse positives when iterating over an instance of an intersection type with only negated elements (#22089)Finalsymbol cannot be reassigned even after a conditional binding (#22986)Selfresolution for classes nested within methods (#22964)matchstatements (#22870)__contains__to respect descriptors (#23056)nonlocalvariables with conditional assignments (#22966)NewTypes ofNewTypes offloat(#22997)Callabletype (#22902)dataclass_transform: Fix visibility of field specifiers when models are nested inside methods (#23069)LSP server
Unknownfor bareFinalinstance attributes (#23003)Finalin on-hover hints (#23005)Configuration
unused-type-ignore-commentrule (#22790)./srcas a search path if./src/__init__.py(i)does not exist (#22851)Type checking
Finalbut never has any bindings (#23001)order=Truedataclasses (#22689)invalid-argument-typeandinvalid-assignmentdiagnostics if a variable is annotated with a type from thenumbersmodule (#22931, #22938)unresolved-referenceto suggest using "list" instead of "List" (#22827)...in odd places inside tuple specializations (#22889)Required,NotRequiredandReadOnlyin parameter annotations (#22888)TypeVarbounds or constraints from containing type variables (#22949)tuplespecialization (#22884)Callables in the return type of function signatures (#22954)isinstance()andissubclass()calls againstTypedDictclasses (#22887)issubclass()calls againstProtocolclasses with non-method members (#22896)Protocol[]andGeneric[]simultaneously (#22948)TypeVarTupleis used to subscriptGenericorProtocolwithout being unpacked (#22952)__getattr__or__getattribute__when looking up attributes on class objects (#22985)NewTypes with generic bases (#22961)**is used with a non-mapping in the context of a call to an overloaded function (#22921)ParamSpecfrom class constructors for callable protocols (#22853)invalid-overloaddiagnostics (#22933)@finaldecorator when emittinginvalid-overloaderrors for invalid@finaldecorators (#22893)Literaltypes when inferring elements for very large unannotated tuples, for improved performance (#22841)Protocolclasses as implicitly abstract (#22838)TypeVarTuples (#22950)Any()inmatchclass patterns (#23011)type[None]in type expressions (#22892)pkg_resources.declare_namespace(#22987)__post_init__methods (#22730)Contributors
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.
This PR was generated by Mend Renovate. View the repository job log.