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

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.1a27 → ==0.0.12

---

Release Notes

astral-sh/ty (ty)

v0.0.12

Compare Source

Released on 2026-01-14.

Bug fixes

• Avoid panic that could occur when casting an object to a TypedDict or union of TypedDicts (#​22509)
• Fix incorrect narrowing for if type(x) == y (#​22531)
• Fix stack overflow with recursive type aliases containing tuple types (#​22543)
• functools.total_ordering: ensure the signatures of generated methods reflect the signature of the user-provided method (#​22496)
• Support dataclass_transform as a function call (#​22378)
• Use the top materialization of classes for if type(x) is y narrowing. For example, if type(x) is tuple will cause the type of x to be intersected with tuple[object, ...] rather than tuple[Unknown, ...]. (#​22553)
• Avoid emitting Liskov violations with respect to a grandparent class if such violations could not be fixed without introducing Liskov violations with respect to a parent class (#​22484)
• Fix interaction between classmethod, contextmanager, and Self (#​22407)
• Check contravariant type variable bounds contravariantly in specialization inference (#​22488)
• Fix false positive for bounded type parameters with NewType (#​22542)

Type checking

• Add support for dynamic type() classes (#​22291, #​22499, #​22537, #​22480)
• Add support for functional namedtuple creation (#​22327, #​22573, #​22575, #​22574)
• Add a diagnostic for non-decorator uses of final (#​22555)
• Add diagnostic to catch generic enums (#​22482)
• Add diagnostics for __init_subclass__ argument mismatch (#​22185)
• Add diagnostics to validate TypeIs and TypeGuard definitions (#​22300)
• Apply type narrowing to walrus targets (#​22369)
• Detect invalid @total_ordering applications in non-decorator contexts (#​22486)
• Fix @Todo type for starred expressions (#​22503)
• Improve disambiguation of types in diagnostics (#​22547)
• Include type parameters in the display for generic Callable types (#​22435)
• Infer type[Unknown] for calls to type() when overload evaluation is ambiguous (#​22569)
• Support assignment to unions of TypedDicts (#​22294)
• Use the key and value parameter types as type context for __setitem__ dunder calls (#​22148)
• Narrow the right-hand side of ==, !=, is and is not conditions when the left-hand side is not narrowable (#​22511)

LSP server

• Fix __file__ type in completions to show str instead of str | None when the inferred type is str (#​22510)
• Improve rendering of ReST directives in docstrings (#​22512)

Contributors

• @​eclbg
• @​RasmusNygren
• @​carljm
• @​drbh
• @​AryanBagade
• @​bxff
• @​ibraheemdev
• @​charliermarsh
• @​AlexWaygood

v0.0.11

Compare Source

Released on 2026-01-09.

Bug fixes

• Fix super() with TypeVar-annotated self and cls parameter (#​22208)
• Only consider fully static pivots when deriving transitive constraints (#​22444)

LSP server

• Don't show diagnostics for excluded files (#​22455)
• Fix goto definition for relative imports in third-party files (#​22457)
• Improve completion ranking based on origin and exact match (#​22460)
• Rank top-level module symbols above most other symbols (#​22465)

Configuration

• Enable unused-ignore-comment by default (#​22474)

Performance

• Improve UnionBuilder performance by changing Type::is_subtype_of calls to Type::is_redundant_with (#​22337)
• Optimize union building for unions with many enum-literal members (#​22363)-

Other changes

• Declare support for Python 3.14 (#​2407)
• Remove dark-mode handling from PyPI-uploaded README (#​2422)

Contributors

• @​dhruvmanila
• @​AlexWaygood
• @​charliermarsh
• @​BurntSushi
• @​MichaReiser
• @​dcreager

v0.0.10

Compare Source

Released on 2026-01-07.

Bug fixes

• Fix stack overflow due to too small stack size (#​22433)
• Fix stale semantic tokens after opening the same document with new content (#​22414)
• Fix handling of ParamSpec in overloaded functions (#​22416)
• Fix comparisons and arithmetic with NewTypes of float (#​22105)
• Fix several issues with unannotated function return types (#​22425)
• Fix handling of subclasses in Callables (#​22411)

LSP server

• Add support for explicit markdown code fences in docstring rendering (#​22373, #​22408)
• Offer completions for T when a value has type Unknown | T (#​22436)
• Sort keyword argument completions higher (#​22297)

Core type checking

• Add support for @total_ordering (#​22181, #​22183)
• Better simplification of intersections of tuples (#​22094)
• Support comparisons between variable-length tuples (#​21824)
• Emit diagnostics for method definitions and other invalid statements in TypedDict class bodies (#​22351)
• Improve type-narrowing in calls to len() (#​22330)

CLI

• Add --add-ignore CLI option (#​21696)

Configuration

• include = ["myscript"] will now check myscript even though it doesn't have a Python extension (#​22243)

Performance

• Optimize intersections with a single negated element (#​22344)
• Optimize negated types (#​22402)

Documentation

• Link to Callable __name__ FAQ directly from unresolved-attribute diagnostic (#​22437)

Contributors

• @​dhruvmanila
• @​charliermarsh
• @​oconnor663
• @​BurntSushi
• @​RasmusNygren
• @​carljm
• @​Gankra
• @​MichaReiser
• @​AlexWaygood

v0.0.9

Compare Source

Released on 2026-01-05.

Bug fixes

• Emit a diagnostic if a class decorator is not a callable accepting a type (#​22375)
• Fix exhaustiveness inference for unions that include enums (#​22290)

Core type checking

• Support typing.TypeGuard (#​20974)
• Treat __setattr__ as fallback-only (#​22014)
• Don't expand type aliases via type mappings unless necessary. This means that the displayed signature of a bound methods will no longer eagerly expand type aliases into their aliased types (#​22241)
• Narrow TypedDict unions with not in (#​22349)
• Don't including property in subclasses properties (#​22088)
• Narrow tagged unions of TypedDicts in match statements (#​22299)
• Teach bidirectional inference about subtyping. This allows x to be inferred as list[int] for x: Iterable[int] = [42] (#​21930)
• Support narrowing for tagged unions of tuples where one element of the tuple is a Literal type (#​22303)

LSP server

• Add autocomplete suggestions for keyword arguments in class statements (#​22110)
• Avoid showing misleading inlay hint for unpacked tuple arguments (#​22286)

Other changes

• Sync vendored typeshed stubs (#​22302, #​22321, #​22324). Typeshed diff

Contributors

• @​RasmusNygren
• @​ericmarkmartin
• @​AlexWaygood
• @​ibraheemdev
• @​charliermarsh
• @​felixscherz
• @​MatthewMckee4
• @​mtshiba

v0.0.8

Compare Source

Released on 2025-12-29.

Breaking changes

• Rename non-subscriptable rule to not-subscriptable (#​22193)

Core type checking

• Promote float and complex when promoting literals (#​22215)
• Callable type of a type object is not function-like (#​22226)
• Fix and simplify callable type materializations (#​22213)

LSP server

• Add option to disable syntax errors (#​22217)
• Fix completion in decorators with missing declaration (#​22177)
• Better completions context detection when typing in decorator positions (#​22224)
• Limit the returned completions to reduce lag (#​22240)

Diagnostics

• Improve wording of unsupported-base sub-diagnostic (#​22194)
• Preserve the invalid assignment diagnostic message when implicitly shadowing a definition (#​22219)

Other changes

• Update docker image to use alpine 3.23 and trixie (#​2217)

Contributors

• @​RasmusNygren
• @​samypr100
• @​silamon
• @​carljm
• @​MichaReiser
• @​MatthewMckee4

v0.0.7

Compare Source

Released on 2025-12-24.

Bug fixes

• Fix classification of modules in import x as y for semantic syntax highlighting (#​22175)
• Fix module resolution on network drives (#​22173)
• Render the entire diagnostic message in all output formats (#​22164)

Other changes

• Add a dedicated diagnostic for TypedDict deletions (#​22123)
• Check __delitem__ instead of __getitem__ for del x[k] (#​22121)
• Fix @staticmethod combined with other decorators incorrectly binding self (#​22128)
• Fix implementation of Top[Callable[..., object]] (#​22145)
• Improve diagnostic when callable is used in a type expression instead of collections.abc.Callable or typing.Callable (#​22180)
• Improve diagnostic when a user tries to access a function attribute on a Callable type (#​22182)
• Include the specialization of a generic TypedDict as part of its display (#​22174)
• Support tuple narrowing based on member checks (#​22167)
• Synthesize __delitem__ for TypedDict to allow deleting non-required keys (#​22122)

Contributors

• @​MichaReiser
• @​ntBre
• @​AlexWaygood
• @​charliermarsh

v0.0.6

Compare Source

Released on 2025-12-23.

Bug fixes

• FIx panic from unexpanded type aliases in implicit tuple aliases (#​22015)
• Support type[T] where T is a type alias to a union of types (#​22115)
• Support == narrowing for tuples in unions with disjoint types (#​22129)
• Respect debug text interpolation in f-strings (#​22151)
• Fix panic from unstable union-type ordering in fixed-point iteration (#​22070)

LSP server

• Add ty.configuration and ty.configurationFile options (#​22053)
• Add diagnosticMode: off to disable diagnostics while retaining Go To Definition, etc. (#​22073)
• Set flag to avoid type[T@f] being inserted when you double-click on the inlay (#​22139)
• Use Markdown for completions documentation if the LSP client supports it (#​21752)

CLI

• Abort printing diagnostics when pressing Ctrl+C (#​22083)

Configuration

• Add respect-type-ignore-comments configuration option (#​22137)
• Support custom builtins via __builtins__.pyi (#​22021)

Other changes

• Bind self with instance in __get__ (#​22155)
• Support type inference between protocol instances (#​22120)
• Synthesize a precise _fields attribute for NamedTuples (#​22163)
• Synthesize a precise _replace method for NamedTuples (#​22153)
• Narrow "tagged unions" of TypedDicts (#​22104)

Contributors

• @​mtshiba
• @​charliermarsh
• @​Wizzerinus
• @​oconnor663
• @​MichaReiser
• @​ibraheemdev
• @​MatthewMckee4

v0.0.5

Compare Source

Released on 2025-12-20.

Bug fixes

• Fix debug-mode server panic when a user typed a class definition by ensuring class arguments are visited in source order for semantic tokens (#​22063)

LSP server

• Classify docstrings in semantic tokens during syntax highlighting (#​22031)

CLI

• Add --force-exclude option (#​22076)
• Only clear output between two successful checks (#​22078)

Other changes

• Add support for dict(...) calls in TypedDict contexts (#​22113)
• Speedup bidirectional type-checking involving large unions by avoiding narrowing on non-generic calls (#​22102)
• Simplify inferred types by avoiding storing multi-inference attempts (#​22062, #​22103)
• Improve union builder performance (#​22048)
• Only prefer declared types in non-covariant positions (#​22068)
• Respect intersections in iterations (#​21965)
• Sync vendored typeshed stubs (#​22091). Typeshed diff
• Understand that the type of X on an enum class will be int if X is defined using enum.nonmember in the class definition (#​22025)

Contributors

• @​charliermarsh
• @​ibraheemdev
• @​RasmusNygren
• @​Hugo-Polloli
• @​carljm
• @​Gankra
• @​MichaReiser

v0.0.4

Compare Source

Released on 2025-12-18.

LSP server

• Add support for attribute docstrings (#​22036)
• Correctly encode multiline tokens for clients not supporting multiline tokens (#​22033)
• Autocompletions: Don't suggest keyword statements when only expressions are valid (#​22002)
• Fix goto-declaration on the right-hand side of from module import submodule (#​22042)
• Fix some configuration panics in the LSP (#​22040)
• Gracefully handle client requests that can't be deserialized (#​22051)

Other changes

• Improve performance for large match statements (#​22045)
• Disable possibly-missing-imports by default (#​22041)
• Implement disjointness for TypedDicts, significantly speeding up checking of code that uses pydantic (#​22044)

Contributors

• @​oconnor663
• @​MichaReiser
• @​Gankra
• @​RasmusNygren
• @​charliermarsh

v0.0.3

Compare Source

Released on 2025-12-17.

LSP server

• Improve rendering of signatures in hovers (#​22007)

Core type checking

• Apply narrowing to len calls based on argument size (#​22026)
• Don't add identical lower/upper bounds multiple times when inferring specializations (#​22030)
• Improve unsupported-base and invalid-super-argument diagnostics to avoid extremely long lines when encountering verbose types (#​22022)
• Improve disambiguation of types in many cases (#​22019)
• Respect deferred values in keyword arguments etc. for .pyi files (#​22029)
• Handle field specifier functions that accept **kwargs and recognize metaclass-based transformers as instances of DataclassInstance (#​22018)

Contributors

• @​charliermarsh
• @​sharkdp
• @​Gankra
• @​zanieb
• @​AlexWaygood
• @​dcreager

v0.0.2

Released on 2025-12-16.

This is the first Beta release of ty, which we're now ready to recommend to motivated users for
production use. See our blog post for more details.

LSP server

• Improve display of completions to show actual insertion text (#​21988)
• Improve highlighting of special type syntax in hovers (#​22005)
• Improve syntax highlighting of constants (#​22006)

Core type checking

• Infer precise types for isinstance(…) calls involving type variables (#​21999)
• Infer TypeVar specializations for Callable types (#​21551)
• Propagate classmethod-ness through decorators returning Callables (#​21958)
• Improve rendering of default values for function args (#​22010)
• Don't use implicit superclass annotation when converting a class constructor into a Callable (#​22011)

Other

• Type checking performance improvement (#​22000)

Contributors

• @​sharkdp
• @​carljm
• @​Gankra
• @​BurntSushi
• @​dcreager
• @​MichaReiser

v0.0.1

Released on 2026-01-09.

Bug fixes

• Fix super() with TypeVar-annotated self and cls parameter (#​22208)
• Only consider fully static pivots when deriving transitive constraints (#​22444)

LSP server

• Don't show diagnostics for excluded files (#​22455)
• Fix goto definition for relative imports in third-party files (#​22457)
• Improve completion ranking based on origin and exact match (#​22460)
• Rank top-level module symbols above most other symbols (#​22465)

Configuration

• Enable unused-ignore-comment by default (#​22474)

Performance

• Improve UnionBuilder performance by changing Type::is_subtype_of calls to Type::is_redundant_with (#​22337)
• Optimize union building for unions with many enum-literal members (#​22363)-

Other changes

• Declare support for Python 3.14 (#​2407)
• Remove dark-mode handling from PyPI-uploaded README (#​2422)

Contributors

• @​dhruvmanila
• @​AlexWaygood
• @​charliermarsh
• @​BurntSushi
• @​MichaReiser
• @​dcreager

v0.0.1a35

Compare Source

v0.0.1a34

Compare Source

v0.0.1a33

Compare Source

v0.0.1a32

Compare Source

v0.0.1a31

Compare Source

v0.0.1a30

Compare Source

v0.0.1a29

Compare Source

v0.0.1a28

Compare Source

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), 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.