#10000 chore(deps-dev): Bump ty from 0.0.32 to 0.0.33 in the development-dependencies group Pull request opened by dependabot[bot] Bumps the development-dependencies group with 1 update: ty. Updates

ty

from 0.0.32 to 0.0.33 Release notes Sourced from ty's releases.

0.0.33

Release Notes

Released on 2026-04-28.

Notable changes

• ty now prefers the declared type of an annotated assignment in more situations (#24802). Consider this example:

from some_library import untyped_function

threshold: int | None = 0

result: str = untyped_function()

ty previously favored the inferred type of the right hand side expression when

threshold

and

result

were used. This is useful for

threshold

, as it allows something like

threshold += 1

to work without an error: we know that

threshold

could later become

None

, but right now, we see that it is an

int

. However, for

result

, the inferred type is

Unknown

. This is not a useful type and it can lead to false negatives. Starting with this release, ty will therefore prefer the declared type if the inferred and declared types are mutually assignable. In the above example,

threshold

will still be inferred as

int

(or rather

Literal[1]

), but

result

will now be inferred as

str

. If you previously added `cast`s to work around this behavior, you should be able to remove them after upgrading.

Bug fixes

• Fix reporting of annotation-only locals as unused (#24811)

• Fix project and workspace selection (#24824)

• Fix go-to definition for generic classes (#24714)

• Fix receiver coloring for aliased decorators (#24884)

LSP server

• Add support for go-to definition in literal enum member inlay hints (#24792)

• Add support for "baking" keyword argument inlay hints into the source code (#24667)

• Don't allow inlay hint edits when introducing a non global scope symbol (#24797)

• Omit semantic highlighting for unresolved symbols (#24718)

Core type checking

• Support narrowing with aliased conditional expressions (#24302)

• Model short-circuiting control flow in Boolean expressions (#24458)

• Handle

finally

blocks where all `try`/`except` blocks are terminal (#24882)

• Detect invalid

ClassVar

vs instance-attribute overrides (#24767)

• Emit diagnostic for invalid uses of

Unpack[...]

(#24868)

• Infer lambda parameter types with

Callable

type context (#24317)

• Support

**

unpacking of

TypedDict

in dict-literal assignments (#24703)

• Support

Unpack[TypedDict]

in

**kwargs

signatures (#24653)

• Treat

[*xs]

as an irrefutable pattern when matching on

Sequence

(#24787)

• Improve generics solving for unions in invariant positions (#24698)

• Improve generics solving for unions when matching against protocols (#24837)

Diagnostics

... (truncated) Changelog Sourced from ty's changelog.

0.0.33

Released on 2026-04-28.

Notable changes

• ty now prefers the declared type of an annotated assignment in more situations (#24802). Consider this example:

from some_library import untyped_function

threshold: int | None = 0

result: str = untyped_function()

ty previously favored the inferred type of the right hand side expression when

threshold

and

result

were used. This is useful for

threshold

, as it allows something like

threshold += 1

to work without an error: we know that

threshold

could later become

None

, but right now, we see that it is an

int

. However, for

result

, the inferred type is

Unknown

. This is not a useful type and it can lead to false negatives. Starting with this release, ty will therefore prefer the declared type if the inferred and declared types are mutually assignable. In the above example,

threshold

will still be inferred as

int

(or rather

Literal[1]

), but

result

will now be inferred as

str

. If you previously added `cast`s to work around this behavior, you should be able to remove them after upgrading.

Bug fixes

• Fix reporting of annotation-only locals as unused (#24811)

• Fix project and workspace selection (#24824)

• Fix go-to definition for generic classes (#24714)

• Fix receiver coloring for aliased decorators (#24884)

LSP server

• Add support for go-to definition in literal enum member inlay hints (#24792)

• Add support for "baking" keyword argument inlay hints into the source code (#24667)

• Don't allow inlay hint edits when introducing a non global scope symbol (#24797)

• Omit semantic highlighting for unresolved symbols (#24718)

Core type checking

• Support narrowing with aliased conditional expressions (#24302)

• Model short-circuiting control flow in Boolean expressions (#24458)

• Handle

finally

blocks where all `try`/`except` blocks are terminal (#24882)

• Detect invalid

ClassVar

vs instance-attribute overrides (#24767)

• Emit diagnostic for invalid uses of

Unpack[...]

(#24868)

• Infer lambda parameter types with

Callable

type context (#24317)

• Support

**

unpacking of

TypedDict

in dict-literal assignments (#24703)

• Support

Unpack[TypedDict]

in

**kwargs

signatures (#24653)

• Treat

[*xs]

as an irrefutable pattern when matching on

Sequence

(#24787)

• Improve generics solving for unions in invariant positions (#24698)

• Improve generics solving for unions when matching against protocols (#24837)

Diagnostics

• Add error context to `invalid-ret…

meltano/meltano