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

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.1a27 -> ==0.0.7

---

Release Notes

astral-sh/ty (ty)

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 2025-12-16.

Bug fixes

• Fix panic for stringified comprehensions and boolean expressions in type expression (#​21967)
• Avoid stack overflow when determining inferable typevars (#​21971)
• Fix false-positive invalid-method-override diagnostic on method that uses Callable with a ParamSpec (#​21934)
• Disallow explicit specialization of type variables themselves (#​21938)
• Fix hover type on named expression ("walrus expression") targets (#​21952)

LSP server

• Add "qualify ..." code fix for undefined references (#​21968)
• Add new goto-definition targets on inlay hints (#​21950)
• Remove invalid statement-keyword completions in for-statements (#​21979)

Core type checking

• Add support for __qualname__ and other implicit class attributes (#​21966)
• Emit a diagnostic when a frozen dataclass inherits a non-frozen dataclass and vice versa (#​21962)
• Emit a diagnostic when a type variable with a default is followed by one without a default (#​21787)
• Improve diagnostics for unsupported binary operations and unsupported augmented assignments (#​21947)
• Improve check enforcing that an overloaded function must have an implementation (#​21978)
• Use unqualified names for displays of TypeAliasTypes and unbound ParamSpecs/TypeVars (#​21960)

Performance

• Speed up ty on Linux by using jemalloc (#​21975)

Contributors

• @​11happy
• @​dhruvmanila
• @​AlexWaygood
• @​mtshiba
• @​MichaReiser
• @​Gankra
• @​silamon
• @​dcreager
• @​charliermarsh
• @​RasmusNygren
• @​carljm

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.