GitHub
02/20/2026, 8:57 PMty from 0.0.15 to 0.0.17
Release notes
Sourced from ty's releases.
## 0.0.17
## Release Notes
Released on 2026-02-13.
### Bug fixes
• Avoidpromotion for constrained `TypeVar`s withLiteralbounds (#23209)Literal
• Fix false positives inshadowing checks (#23222)TypeVar
### Core type checking
• Support generic protocols (#21902)
• Perform control-flow analysis in loops (#22794)
• Supportin attribute annotations (#23108)typing.Self
• Support type narrowing in situations with calls tofunctions (#23109)NoReturn
• Support type narrowing and reachability analysis based onchecks (#23230)os.name
• Detect overrides ofclass variables in subclasses (#23180)Final
• Fix bound method access on(#23246)None
• Fix method calls on subclasses of(#23248)Any
• Disallow type variables within PEP-695 type variable bounds and constraints (#22982)
• Emit error for attribute access on union where some elements lack the attribute (#23042)
• Emit error for invalid typevar defaults (#23194)
• Improve display of `ParamSpec`s in some situations (#23211)
### LSP server
• Add hover and go-to-declaration support for subscript literals (#22837)
• Assign lower completion ranking to deprecated names in auto import (#23188)
• Improve spans of references to submodules imported in an(#21795)__init__.py
• Include conditional symbols (like) in auto-import in more cases (#23249)datetime.UTC
• Support auto-import for symbols in inlay hints (#22111)
• Include overload declarations in find-references (#23215)
### Performance
• Avoidoverhead when creating a new union from the filtered elements of an existing union (#22352)UnionBuilder
### Other changes
• Allow discovering dependencies in system Python environments (#22994)
• Apply workspace settings to virtual files (#23228)
• Add support for(#22125)--output-format=junit
• Use a smaller diagnostic range fordiagnostics (#23213)inconsistent-mro
### Contributors
• `@carljm`
• `@BurntSushi`
• `@charliermarsh`... (truncated) Changelog Sourced from ty's changelog.
## 0.0.17
Released on 2026-02-13.
### Bug fixes
• Avoidpromotion for constrained `TypeVar`s withLiteralbounds (#23209)Literal
• Fix false positives inshadowing checks (#23222)TypeVar
### Core type checking
• Support generic protocols (#21902)
• Perform control-flow analysis in loops (#22794)
• Supportin attribute annotations (#23108)typing.Self
• Support type narrowing in situations with calls tofunctions (#23109)NoReturn
• Support type narrowing and reachability analysis based onchecks (#23230)os.name
• Detect overrides ofclass variables in subclasses (#23180)Final
• Fix bound method access on(#23246)None
• Fix method calls on subclasses of(#23248)Any
• Disallow type variables within PEP-695 type variable bounds and constraints (#22982)
• Emit error for attribute access on union where some elements lack the attribute (#23042)
• Emit error for invalid typevar defaults (#23194)
• Improve display of `ParamSpec`s in some situations (#23211)
### LSP server
• Add hover and go-to-declaration support for subscript literals (#22837)
• Assign lower completion ranking to deprecated names in auto import (#23188)
• Improve spans of references to submodules imported in an(#21795)__init__.py
• Include conditional symbols (like) in auto-import in more cases (#23249)datetime.UTC
• Support auto-import for symbols in inlay hints (#22111)
• Include overload declarations in find-references (#23215)
### Performance
• Avoidoverhead when creating a new union from the filtered elements of an existing union (#22352)UnionBuilder
### Other changes
• Allow discovering dependencies in system Python environments (#22994)
• Apply workspace settings to virtual files (#23228)
• Add support for(#22125)--output-format=junit
• Use a smaller diagnostic range fordiagnostics (#23213)inconsistent-mro
### Contributors
• `@carljm`
• `@BurntSushi`
• `@charliermarsh`
• `@Glyphack`... (truncated) Commits • `8cec857` [ty] Bump version to 0.0.17 (#2806) • <https://github.com/astral-sh/ty/c… meltano/meltano
GitHub
02/20/2026, 9:48 PM