GitHub
03/02/2026, 4:51 PMty from 0.0.17 to 0.0.18
Release notes
Sourced from ty's releases.
0.0.18
Release Notes
Released on 2026-02-20.
Bug fixes
• Support classes dynamically created viawith cyclic bases (#22792)type(...)
• Fix incorrect types inferred when unpacking mixed tuples (#23437)
• Fix stack overflow for self-referentialin annotations (#23407)TypeOf
• Fix several server panics that could occur when computing semantic tokens for the current file (#23403), #23398, #23401)
LSP server
• Add code folding support (#23393)
• Add warning message when runninginteractively (#23416)ty server
• Exclude test-related symbols from non-first-party packages in auto-import completions (#23252)
• Fix bug where diagnostics could disappear after opening an external file (#23447)
• Remove spurious destination for Go-To Definition on variables defined in a loop (#23391)
• Use the fully qualified name when "baking" an inlay hint into the source code if the scope already contains a variable with the same name as the unqualified name (#23265)
• Resolve TypeVars inparameter types (#23149)call_signature_details
CLI
• Addto--output-format(#23387)ty version
Configuration
• Addoption (#23122)replace-imports-with-any
• Support shellexpand for configuration paths (#23274)
Type checking
• Add a new diagnostic to detect invalid class patterns instatements (#22939)match
• AllowinSelftype annotations (#23362)ClassVar
• Consider synthesized methods and-qualified declarations when determining whether an abstract method has been overridden in a subclass (#23381)ClassVar
• Add a diagnostic when combiningandFinal(#23365)ClassVar
• Fix return type of(#23389)assert_never
• Fixdiagnostic messages (#23342)assert_type
• Ban PEP-613 type alias values from containing type-qualifier special forms (#23444)
• InferforLiteralString(#23346)f"{literal_str_a} {literal_str_b}"
• Infer precise types for bit-shift operations on integer literals (#23301)
• Makediagnostics less verbose for classes with many abstract methods (#23379)[abstract-method-in-final-class]
• Improve diagnostics for abstractclasses (#23376)@final
• Only perform literal promotion for implicitly inferred literals (#23107)
• Parenthesize callable types when they appear in the return annotation of other callable types (#23327)
• Consider a call to a generic function returningto terminate control flow (#23419)Never
• Support calls to intersection types (#22469)
• Validate annotated assignments to attributes on self (#23388)
• Treat a bytes-literal type as a subtype of... (truncated) Changelog Sourced from ty's changelog.(#23329)Sequence[<constituent integers in the bytestring>]
0.0.18
Released on 2026-02-20.
Bug fixes
• Support classes dynamically created viawith cyclic bases (#22792)type(...)
• Fix incorrect types inferred when unpacking mixed tuples (#23437)
• Fix stack overflow for self-referentialin annotations (#23407)TypeOf
• Fix several server panics that could occur when computing semantic tokens for the current file (#23403), #23398, #23401)
LSP server
• Add code folding support (#23393)
• Add warning message when runninginteractively (#23416)ty server
• Exclude test-related symbols from non-first-party packages in auto-import completions (#23252)
• Fix bug where diagnostics could disappear after opening an external file (#23447)
• Remove spurious destination for Go-To Definition on variables defined in a loop (#23391)
• Use the fully qualified name when "baking" an inlay hint into the source code if the scope already contains a variable with the same name as the unqualified name (#23265)
• Resolve TypeVars inparameter types (#23149)call_signature_details
CLI
• Addto--output-format(#23387)ty version
Configuration
• Addoption (#23122)replace-imports-with-any
• Support shellexpand for configuration paths (#23274)
Type checking
• Add a new diagnostic to detect invalid class patterns instatements (#22939)match
• AllowinSelftype annotations (#23362)ClassVar
• Consider synthesized methods and-qualified declarations when determining whether an abstract method has been overridden in a subclass (#23381)ClassVar
• Add a diagnostic when combiningandFinal(#23365)ClassVar
• Fix return type ofmeltano/meltano(<https://red…assert_never
GitHub
03/02/2026, 6:12 PM