build: bump ty from 0.0.1a21 to 0.0.12

[dependabot]

Bumps ty from 0.0.1a21 to 0.0.12.

Release notes

Sourced from ty's releases.

0.0.12

Release Notes

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

... (truncated)

Changelog

Sourced from ty's changelog.

0.0.12

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

... (truncated)

Commits

• 4b74e4d Bump to 0.0.12 (#2500)
• 3b83666 Re-add fixed-width size for image (#2485)
• 11540c5 Update VS Code extension docs (#2475)
• c7f6404 Fix the docs links to the benchmark results (#2459)
• 5264371 Use prek in documentation and CI (#2469)
• 29072a5 Fix changelog typo (#2461)
• 6b5938a Stylize 'ty' correctly in zed configuration docs (#2458)
• 2ebb37c Update actions/checkout digest to 0c366fd (#2452)
• 5fbc472 Update pre-commit dependencies (#2453)
• d2176eb Update astral-sh/setup-uv action to v7.2.0 (#2454)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)