Bump ty from 0.0.1a25 to 0.0.1a27

[dependabot]

Bumps ty from 0.0.1a25 to 0.0.1a27.

Release notes

Sourced from ty's releases.

0.0.1-alpha.27

Release Notes

Released on 2025-11-18.

Bug fixes

• Fix panic for cyclic star imports (#21428)
• Fix crashes when using a homebrew Python install (#21405)
• Fix incorrect inference of enum.auto() for enums with non-int mixins, and imprecise inference of enum.auto() for single-member enums (#20541)
• Fix global symbol lookup from eagerly executed scopes such as comprehensions and classes (#21317)
• Fix false positive for instance attributes that are declared as Final in the class body but have their value assigned in the class's __init__ method (#21158)
• Use the return type of __get__ for descriptor lookups even when __get__ is called with incorrect arguments (#21424)
• Consider parameters being declared global a syntax error (#21312)

Type inference

• Support typing.NewType (#21157)
• Support Callable in implicit type aliases (#21496)
• Support typing.Union in implicit type aliases (#21363)
• Precise inference for generator expressions (#21437)
• Support storing attributes in comprehension scopes (#20856)
• Support isinstance() and issubclass() narrowing when the second argument is a typing.py stdlib alias (#21391)
• Support type[…] and Type[…] in implicit type aliases (#21421)
• Support attribute-expression TYPE_CHECKING conditionals (#21449)
• Support class-arguments for dataclass transformers (#21457)
• Support legacy typing special forms in implicit type aliases (#21433)
• Support stringified annotations in value-position Annotated instances (#21447)
• Support all parameters of dataclass transforms (#21474)
• Support __hash__ semantics and unsafe_hash for dataclasses (#21470)
• Improve handling of version-specific features of dataclasses (#21453)
• Correctly infer the specialization of a non-invariant PEP-695 generic class that has an annotated self parameter in its __init__ method (#21325)
• Improve use of type context when inferring the result of a generic constructor call (#20933, #21442)
• Improve use of type context when inferring the result of a generic call expression (#21210)
• Improve heuristics used to decide when it is appropriate to "promote" a Literal type such as Literal[42] to its instance supertype (in this case, int) when solving type variables (#21439)
• Improve use of type context to infer conditional expressions (#21443)
• Make __getattr__ available for ModuleType instances (#21450)
• Introduce implicit local variables for from imports of submodules in __init__.py(i) (#21173)
• Make implicit submodule locals only occur in global scope of an __init__.py(i) (#21370)
• Make implicit submodule locals also occur for absolute from imports in __init__.py(i) files (#21372)
• Consider from thispackage import y a re-export of y in __init__.pyi (#21387)
• Allow PEP-604 unions in stubs and TYPE_CHECKING blocks prior to 3.10 (#21379)
• Ensure annotation/type expressions in stub files are always deferred (#21401, #21456)
• Silence false-positive diagnostics when using typing.Dict or typing.Callable as the second argument to isinstance() (#21386)
• Sync vendored typeshed stubs (#21466). Typeshed diff

LSP server

• Support for notebooks in VS Code (#21175)
• Fix goto-definition for float and complex in type annotation positions (#21388)

... (truncated)

Changelog

Sourced from ty's changelog.

Changelog

0.0.1-alpha.27

Released on 2025-11-18.

Bug fixes

• Fix panic for cyclic star imports (#21428)
• Fix crashes when using a homebrew Python install (#21405)
• Fix incorrect inference of enum.auto() for enums with non-int mixins, and imprecise inference of enum.auto() for single-member enums (#20541)
• Fix global symbol lookup from eagerly executed scopes such as comprehensions and classes (#21317)
• Fix false positive for instance attributes that are declared as Final in the class body but have their value assigned in the class's __init__ method (#21158)
• Use the return type of __get__ for descriptor lookups even when __get__ is called with incorrect arguments (#21424)
• Consider parameters being declared global a syntax error (#21312)

Type inference

• Support typing.NewType (#21157)
• Support Callable in implicit type aliases (#21496)
• Support typing.Union in implicit type aliases (#21363)
• Precise inference for generator expressions (#21437)
• Support storing attributes in comprehension scopes (#20856)
• Support isinstance() and issubclass() narrowing when the second argument is a typing.py stdlib alias (#21391)
• Support type[…] and Type[…] in implicit type aliases (#21421)
• Support attribute-expression TYPE_CHECKING conditionals (#21449)
• Support class-arguments for dataclass transformers (#21457)
• Support legacy typing special forms in implicit type aliases (#21433)
• Support stringified annotations in value-position Annotated instances (#21447)
• Support all parameters of dataclass transforms (#21474)
• Support __hash__ semantics and unsafe_hash for dataclasses (#21470)
• Improve handling of version-specific features of dataclasses (#21453)
• Correctly infer the specialization of a non-invariant PEP-695 generic class that has an annotated self parameter in its __init__ method (#21325)
• Improve use of type context when inferring the result of a generic constructor call (#20933, #21442)
• Improve use of type context when inferring the result of a generic call expression (#21210)
• Improve heuristics used to decide when it is appropriate to "promote" a Literal type such as Literal[42] to its instance supertype (in this case, int) when solving type variables (#21439)
• Improve use of type context to infer conditional expressions (#21443)
• Make __getattr__ available for ModuleType instances (#21450)
• Introduce implicit local variables for from imports of submodules in __init__.py(i) (#21173)
• Make implicit submodule locals only occur in global scope of an __init__.py(i) (#21370)
• Make implicit submodule locals also occur for absolute from imports in __init__.py(i) files (#21372)
• Consider from thispackage import y a re-export of y in __init__.pyi (#21387)
• Allow PEP-604 unions in stubs and TYPE_CHECKING blocks prior to 3.10 (#21379)
• Ensure annotation/type expressions in stub files are always deferred (#21401, #21456)
• Silence false-positive diagnostics when using typing.Dict or typing.Callable as the second argument to isinstance() (#21386)
• Sync vendored typeshed stubs (#21466). Typeshed diff

LSP server

• Support for notebooks in VS Code (#21175)

... (truncated)

Commits

• 26d7b68 Bump version to 0.0.1a27 (#1586)
• 18761f5 Update pre-commit dependencies (#1574)
• c1ce1b4 Update astral-sh/setup-uv action to v7.1.3 (#1573)
• cb76a5e Add PyCharm setup instructions to editors documentation (#1533)
• fdc05df Add documentation about Zed binary path (#1518)
• b225fd8 Bump version to 0.0.1a26 (#1517)
• 09c637d Update docker/metadata-action action to v5.9.0 (#1509)
• 5c14430 Update pre-commit dependencies (#1508)
• 258cb20 Update pre-commit dependencies (#1466)
• See full diff 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)