GitHub
03/05/2026, 3:41 PMty from 0.0.18 to 0.0.19
Release notes
Sourced from ty's releases.
0.0.19
Release Notes
Released on 2026-02-26.
Bug fixes
• Fix panic in diagnostic rendering when attempting to render a code frame pointing to leading whitespace (#23458)
• Fix panics and incorrect inference stemming from incorrectly considering overloads in another file as being associated with a function in the file being checked (#21977)
• Fix panic when attempting to narrow the type of a dictionary key that was assigned using a multi-target assignment, e.g.(#23523)x = y = {"a": 1}
• Fix infinite hang on mutually recursivedefinitions (#23397)TypeAliasType
LSP server
• Fix inlay hints for starred unpacking targets (#23454)
Core type checking
• Fix assignability, subtyping and equivalence checks relating toprior to Python 3.13 (#23386)typing.Generator
• Understand that a scope's control flow terminates afterifawait foo()returnsfooor similar (#23479)typing.Awaitable[typing.Never]
• Implement stricter handling of calls to instances oftypes (#23472)type[T]
• Support basic type narrowing forpatterns incase {...}:statements (#23462)match
• Fix bugs that could manifest in incorrect overload evaluation, false-positive complaints regardingcalls or false-positiveassert_typediagnostics by reimplementing the equivalence type relation as mutual subtyping of top and bottom materializations (#23428)redundant-cast
• Fix equality andnarrowing with PEP-695 type aliases (#23545)__contains__
• Supportannotations on enum classes (#22228)_value_
Improvements to diagnostics
• Improve diagnostics when attempting to specialize non-generic types (#23516)
• Render subdiagnostics whenis specified (#23455)--output-format=github
Performance
• Add a cached method for calculating the intersection of two types (#23547)
• Add a cached method for calculating the union of two types (#23565)
• Reduce the threshold above whichtypes in unions are upcasted to nominal-instance types in situations where the union type is recursively defined (#23521)Literal
• Control flow: isolate the calculation of "loop header reachability" in a dedicated, cached function (#23520)
Contributors
• `@AlexWaygood`
• `@silamon`
• `@ibraheemdev`
• `@Hugo-Polloli`
• `@charliermarsh`
• `@knutwannheden`
• `@oconnor663`
• `@carljm`
• `@mtshiba`... (truncated) Changelog Sourced from ty's changelog.
0.0.19
Released on 2026-02-26.
Bug fixes
• Fix panic in diagnostic rendering when attempting to render a code frame pointing to leading whitespace (#23458)
• Fix panics and incorrect inference stemming from incorrectly considering overloads in another file as being associated with a function in the file being checked (#21977)
• Fix panic when attempting to narrow the type of a dictionary key that was assigned using a multi-target assignment, e.g.(#23523)x = y = {"a": 1}
• Fix infinite hang on mutually recursivedefinitions (#23397)TypeAliasType
LSP server
• Fix inlay hints for starred unpacking targets (#23454)
Core type checking
• Fix assignability, subtyping and equivalence checks relating toprior to Python 3.13 (#23386)typing.Generator
• Understand that a scope's control flow terminates afterifawait foo()returnsfooor similar (#23479)typing.Awaitable[typing.Never]
• Implement stricter handling of calls to instances oftypes (#23472)type[T]
• Support basic type narrowing forpatterns incase {...}:statements (#23462)match
• Fix bugs that could manifest in incorrect overload evaluation, false-positive complaints regardingcalls or false-positiveassert_typediagnostics by reimplementing the equivalence type relation as mutual subtyping of top and bottom materializations (#23428)redundant-cast
• Fix equality andnarrowing with PEP-695 type aliases (#23545)__contains__
• Supportannotations on enum classes (#22228)_value_
Improvements to diagnostics
• Improve diagnostics when attempting to specialize non-generic types (#23516)
• Render subdiagnostics whenis specified (#23455)--output-format=github
Performance
• Add a cached method for calculating the intersection of two types (#23547)
• Add a cached method for calculating the union of two types (#23565)
• Reduce the threshold above whichtypes in unions are upcasted to nominal-instance types in situations where the union type is recursively defined (#23521)Literal
• Control flow: isolate the calculation of "loop header reachability" in a dedicated, cached function (#23520)
Contributors
• `@AlexWaygood`
• `@silamon`
• `@ibraheemdev`
• `@Hugo-Polloli`
• `@charliermarsh`
• `@knutwannheden`
• `@oconnor663`
• <https…meltano/meltano
GitHub
03/05/2026, 3:51 PM