GitHub
02/18/2026, 4:08 AMty from 0.0.15 to 0.0.16
Release notes
Sourced from ty's releases.
## 0.0.16
## Release Notes
Released on 2026-02-10.
### Bug fixes
• Allow stringified argument in PEP-613 alias to(#23200)Optional
• Fix fuzzer panic on slice expression in unclosed comprehension (#23146)
• Fix combinatorial explosion due to fixed-length tuple expansion in overload matching (#23190)
• Respectwhen combined with other decorators (#23177)@no_type_check
• Fix diagnostic location for an incorrect sub-call to a specialized ParamSpec (#23036)
### LSP server
• Assign lower completions ranking to deprecated functions and classes (#23089)
• Change goto-def for class constructors to always go to class definition (#23071)
• Ensure diagnostic mode is consistent across projects inside the LSP server (#23121)
• Don't include the classin autocomplete suggestions when the user is typing out `Foo`'s bases (#23141)Foo
• Fix parameter references across files via keyword args (#23012)
• Fix wrong inlay hints for overloaded function arguments (#23179)
• Support diagnostics in newly created files inside neovim (#23095)
• Exclude already-included classes when providing completion suggestions for class bases (#23085)
### CLI
• Add support forenvironment variable (#23123)TY_OUTPUT_FORMAT
• Fall back tofound inpython3if no environment is found (#22843)$PATH
### Type checking
• Addautofix to moveinconsistent-mroto the end of the bases list (#22998)Generic[]
• Add precise return-type inference for(#22562, #23130)struct.unpack
• Disallow TypeVars within ClassVars (#23184)
• Emit diagnostic on unbound call to abstractor@classmethod(#23182)@staticmethod
• Fix false-positive diagnostics when providing thekeyword tototal=classes that had PEP-695 type parameters (#23114)TypedDict
• Narrow both left- and right-hand operands where possible (#23084)
• Narrow chained operators (#23093)
• Narrow equality subscripts on either operand (#23104)
• Recognizeto support SQLModel (#23070)__dataclass_transform__
• Relax the attribute narrowing condition to support deeper-nested attribute type narrowing (#22440)
• Support constrained TypeVar compatibility across function boundaries (#23103)
• Support comparison methods (, etc.) where a parameter is annotated with a__gt__type (#23100)Literal
• Support partially specialized type context (#22748)
• Use type context when inferring constructor argument types (#23139)
• Validateconstructor calls for generic aliases andTypedDicttargets (#23113)type[...]
### Performance
• Conservative narrowing places optimization (#22734)... (truncated) Changelog Sourced from ty's changelog.
## 0.0.16
Released on 2026-02-10.
### Bug fixes
• Allow stringified argument in PEP-613 alias to(#23200)Optional
• Fix fuzzer panic on slice expression in unclosed comprehension (#23146)
• Fix combinatorial explosion due to fixed-length tuple expansion in overload matching (#23190)
• Respectwhen combined with other decorators (#23177)@no_type_check
• Fix diagnostic location for an incorrect sub-call to a specialized ParamSpec (#23036)
### LSP server
• Assign lower completions ranking to deprecated functions and classes (#23089)
• Change goto-def for class constructors to always go to class definition (#23071)
• Ensure diagnostic mode is consistent across projects inside the LSP server (#23121)
• Don't include the classin autocomplete suggestions when the user is typing out `Foo`'s bases (#23141)Foo
• Fix parameter references across files via keyword args (#23012)
• Fix wrong inlay hints for overloaded function arguments (#23179)
• Support diagnostics in newly created files inside neovim (#23095)
• Exclude already-included classes when providing completion suggestions for class bases (#23085)
### CLI
• Add support forenvironment variable (#23123)TY_OUTPUT_FORMAT
• Fall back tofound inpython3if no environment is found (#22843)$PATH
### Type checking
• Addautofix to moveinconsistent-mroto the end of the bases list (#22998)Generic[]
• Add precise return-type inference for(#22562, #23130)struct.unpack
• Disallow TypeVars within ClassVars (#23184)
• Emit diagnostic on unbound call to abstractor@classmethod(#23182)@staticmethod
• Fix false-positive diagnostics when providing themeltano/sdkkeyword tototal=classes that had PEP-695 type parameters (<https://redirect.github.com/astra…TypedDict
GitHub
02/23/2026, 6:42 PM