Bump version to 0.0.1-alpha.14 (#778)

Co-authored-by: David Peter <sharkdp@users.noreply.github.com>

CHANGELOG.md

@@ -1,5 +1,49 @@
 # Changelog
 
+## 0.0.1-alpha.14
+
+### Bug fixes
+
+- Add cycle detection to ty's implementation of disjointness between types, fixing a possible source of stack overflows when analysing recursive types ([#19139](https://github.com/astral-sh/ruff/pull/19139))
+- Don't allow first-party code to shadow the stdlib `types` module ([#19128](https://github.com/astral-sh/ruff/pull/19128)).
+    This fixes another possible source of stack overflows.
+- Fix descriptor lookups for most types that overlap with `None` ([#19120](https://github.com/astral-sh/ruff/pull/19120)).
+    This means that e.g. `object().__str__()` now correctly binds the `self` argument of the `__str__`
+    method, as the `object` type overlaps with `None`.
+
+### Server
+
+- Filter a symbol from a stub file in autocomplete suggestions if it is an implementation detail of the stub ([#19121](https://github.com/astral-sh/ruff/pull/19121))
+- Add initial support for [semantic tokens](https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_semanticTokens) ([#19108](https://github.com/astral-sh/ruff/pull/19108)).
+    This feature allows editors to apply more advanced syntax highlighting. Currently, the supported tokens are: `Namespace`, `Class`, `Parameter`, `SelfParameter`,`ClsParameter`, `Variable`, `Property`, `Function`, `Method`, `Keyword`, `String`, `Number`, `Decorator`, `BuiltinConstant` and `TypeParameter`.
+- Initial support for [workspace diagnostics](https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#workspace_diagnostic) ([#18939](https://github.com/astral-sh/ruff/pull/18939)).
+    Enable this feature by setting the `ty.diagnosticMode` configuration setting to `"workspace"`.
+- Use Python syntax highlighting in on-hover content ([#19082](https://github.com/astral-sh/ruff/pull/19082))
+
+### Typing semantics and features
+
+- Understand that calls to functions returning `Never` / `NoReturn` are terminal with respect to control flow ([#18333](https://github.com/astral-sh/ruff/pull/18333))
+- Add subtyping between `type[]` types and `Callable` types ([#19026](https://github.com/astral-sh/ruff/pull/19026))
+- Support bare `ClassVar` annotations ([#15768](https://github.com/astral-sh/ruff/pull/15768))
+- Understand that two protocols with equivalent method members are equivalent ([#18659](https://github.com/astral-sh/ruff/pull/18659))
+- Support declared-only instance attributes such as `self.x: int` ([#19048](https://github.com/astral-sh/ruff/pull/19048))
+- Sync vendored typeshed stubs ([#19174](https://github.com/astral-sh/ruff/pull/19174)): [typeshed diff](https://github.com/python/typeshed/compare/3f727b0cd6620b7fca45318dd34542b1e1c7dbfb...f64707592dd3c32f756ddeebd012acb2b072aa0d)
+- Use the inferred type as the declared type for bare `Final` symbols ([#19142](https://github.com/astral-sh/ruff/pull/19142))
+
+### Contributors
+
+- [@iyakushev](https://github.com/iyakushev)
+- [@MatthewMckee4](https://github.com/MatthewMckee4)
+- [@zanieb](https://github.com/zanieb)
+- [@sharkdp](https://github.com/sharkdp)
+- [@UnboundVariable](https://github.com/UnboundVariable)
+- [@abhijeetbodas2001](https://github.com/abhijeetbodas2001)
+- [@github-actions](https://github.com/github-actions)
+- [@dhruvmanila](https://github.com/dhruvmanila)
+- [@AlexWaygood](https://github.com/AlexWaygood)
+- [@carljm](https://github.com/carljm)
+- [@CodeMan62](https://github.com/CodeMan62)
+
 ## 0.0.1-alpha.13
 
 ### Bug fixes

dist-workspace.toml

@@ -1,7 +1,7 @@
 [workspace]
 members = ["cargo:./ruff"]
 packages = ["ty"]
-version = "0.0.1-alpha.13"
+version = "0.0.1-alpha.14"
 
 # Config for 'dist'
 [dist]

docs/reference/configuration.md

@@ -297,6 +297,7 @@ possibly-unresolved-reference = "ignore"
 A list of file and directory patterns to exclude from type checking.
 
 Patterns follow a syntax similar to `.gitignore`:
+
 - `./src/` matches only a directory
 - `./src` matches both files and directories
 - `src` matches files or directories named `src`

pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "ty"
-version = "0.0.1a13"
+version = "0.0.1a14"
 requires-python = ">=3.8"
 dependencies = []
 description = "An extremely fast Python type checker, written in Rust."

ruff

@@ -1 +1 @@
-Subproject commit f76d3f87cfbfd8953087c521f36533f94f3b7304
+Subproject commit e16473d2601de8397c5f7fd21b8f92acf7061ec5

uv.lock

@@ -762,7 +762,7 @@ wheels = [
 
 [[package]]
 name = "ty"
-version = "0.0.1a13"
+version = "0.0.1a14"
 source = { editable = "." }
 
 [package.dev-dependencies]