TypeVarInstance and intersection of callables

.github/CODEOWNERS

@@ -14,11 +14,11 @@
 # flake8-pyi
 /crates/ruff_linter/src/rules/flake8_pyi/ @AlexWaygood
 
-# Script for fuzzing the parser/ty etc.
+# Script for fuzzing the parser/red-knot etc.
 /python/py-fuzzer/ @AlexWaygood
 
-# ty
-/crates/ty* @carljm @MichaReiser @AlexWaygood @sharkdp @dcreager
+# red-knot
+/crates/red_knot* @carljm @MichaReiser @AlexWaygood @sharkdp @dcreager
 /crates/ruff_db/ @carljm @MichaReiser @AlexWaygood @sharkdp @dcreager
-/scripts/ty_benchmark/ @carljm @MichaReiser @AlexWaygood @sharkdp @dcreager
-/crates/ty_python_semantic @carljm @AlexWaygood @sharkdp @dcreager
+/scripts/knot_benchmark/ @carljm @MichaReiser @AlexWaygood @sharkdp @dcreager
+/crates/red_knot_python_semantic @carljm @AlexWaygood @sharkdp @dcreager

.github/workflows/ci.yaml

@@ -36,8 +36,8 @@ jobs:
       code: ${{ steps.check_code.outputs.changed }}
       # Flag that is raised when any code that affects the fuzzer is changed
       fuzz: ${{ steps.check_fuzzer.outputs.changed }}
-      # Flag that is set to "true" when code related to ty changes.
-      ty: ${{ steps.check_ty.outputs.changed }}
+      # Flag that is set to "true" when code related to red-knot changes.
+      red_knot: ${{ steps.check_red_knot.outputs.changed }}
 
       # Flag that is set to "true" when code related to the playground changes.
       playground: ${{ steps.check_playground.outputs.changed }}
@@ -84,7 +84,7 @@ jobs:
           if git diff --quiet "${MERGE_BASE}...HEAD" -- ':Cargo.toml' \
             ':Cargo.lock' \
             ':crates/**' \
-            ':!crates/ty*/**' \
+            ':!crates/red_knot*/**' \
             ':!crates/ruff_python_formatter/**' \
             ':!crates/ruff_formatter/**' \
             ':!crates/ruff_dev/**' \
@@ -145,7 +145,7 @@ jobs:
         run: |
           if git diff --quiet "${MERGE_BASE}...HEAD" -- ':**' \
             ':!**/*.md' \
-            ':crates/ty_python_semantic/resources/mdtest/**/*.md' \
+            ':crates/red_knot_python_semantic/resources/mdtest/**/*.md' \
             ':!docs/**' \
             ':!assets/**' \
             ':.github/workflows/ci.yaml' \
@@ -168,15 +168,15 @@ jobs:
               echo "changed=true" >> "$GITHUB_OUTPUT"
           fi
 
-      - name: Check if the ty code changed
-        id: check_ty
+      - name: Check if the red-knot code changed
+        id: check_red_knot
         env:
           MERGE_BASE: ${{ steps.merge_base.outputs.sha }}
         run: |
           if git diff --quiet "${MERGE_BASE}...HEAD" -- \
             ':Cargo.toml' \
             ':Cargo.lock' \
-            ':crates/ty*/**' \
+            ':crates/red_knot*/**' \
             ':crates/ruff_db/**' \
             ':crates/ruff_annotate_snippets/**' \
             ':crates/ruff_python_ast/**' \
@@ -221,7 +221,7 @@ jobs:
       - name: "Clippy"
         run: cargo clippy --workspace --all-targets --all-features --locked -- -D warnings
       - name: "Clippy (wasm)"
-        run: cargo clippy -p ruff_wasm -p ty_wasm --target wasm32-unknown-unknown --all-features --locked -- -D warnings
+        run: cargo clippy -p ruff_wasm -p red_knot_wasm --target wasm32-unknown-unknown --all-features --locked -- -D warnings
 
   cargo-test-linux:
     name: "cargo test (linux)"
@@ -246,14 +246,14 @@ jobs:
         uses: taiki-e/install-action@ab3728c7ba6948b9b429627f4d55a68842b27f18 # v2
         with:
           tool: cargo-insta
-      - name: ty mdtests (GitHub annotations)
-        if: ${{ needs.determine_changes.outputs.ty == 'true' }}
+      - name: Red-knot mdtests (GitHub annotations)
+        if: ${{ needs.determine_changes.outputs.red_knot == 'true' }}
         env:
           NO_COLOR: 1
           MDTEST_GITHUB_ANNOTATIONS_FORMAT: 1
         # Ignore errors if this step fails; we want to continue to later steps in the workflow anyway.
         # This step is just to get nice GitHub annotations on the PR diff in the files-changed tab.
-        run: cargo test -p ty_python_semantic --test mdtest || true
+        run: cargo test -p red_knot_python_semantic --test mdtest || true
       - name: "Run tests"
         shell: bash
         env:
@@ -268,7 +268,7 @@ jobs:
       # sync, not just public items. Eventually we should do this for all
       # crates; for now add crates here as they are warning-clean to prevent
       # regression.
-      - run: cargo doc --no-deps -p ty_python_semantic -p ty -p ty_test -p ruff_db --document-private-items
+      - run: cargo doc --no-deps -p red_knot_python_semantic -p red_knot -p red_knot_test -p ruff_db --document-private-items
         env:
           # Setting RUSTDOCFLAGS because `cargo doc --check` isn't yet implemented (https://github.com/rust-lang/cargo/issues/10025).
           RUSTDOCFLAGS: "-D warnings"
@@ -276,10 +276,6 @@ jobs:
         with:
           name: ruff
           path: target/debug/ruff
-      - uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4.6.2
-        with:
-          name: ty
-          path: target/debug/ty
 
   cargo-test-linux-release:
     name: "cargo test (linux, release)"
@@ -362,9 +358,9 @@ jobs:
         run: |
           cd crates/ruff_wasm
           wasm-pack test --node
-      - name: "Test ty_wasm"
+      - name: "Test red_knot_wasm"
         run: |
-          cd crates/ty_wasm
+          cd crates/red_knot_wasm
           wasm-pack test --node
 
   cargo-build-release:
@@ -636,53 +632,6 @@ jobs:
           name: ecosystem-result
           path: ecosystem-result
 
-  fuzz-ty:
-    name: "Fuzz for new ty panics"
-    runs-on: depot-ubuntu-22.04-16
-    needs:
-      - cargo-test-linux
-      - determine_changes
-    # Only runs on pull requests, since that is the only we way we can find the base version for comparison.
-    if: ${{ !contains(github.event.pull_request.labels.*.name, 'no-test') && github.event_name == 'pull_request' && needs.determine_changes.outputs.ty == 'true' }}
-    timeout-minutes: 20
-    steps:
-      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
-        with:
-          persist-credentials: false
-      - uses: actions/download-artifact@95815c38cf2ff2164869cbab79da8d1f422bc89e # v4.2.1
-        name: Download new ty binary
-        id: ty-new
-        with:
-          name: ty
-          path: target/debug
-      - uses: dawidd6/action-download-artifact@20319c5641d495c8a52e688b7dc5fada6c3a9fbc # v8
-        name: Download baseline ty binary
-        with:
-          name: ty
-          branch: ${{ github.event.pull_request.base.ref }}
-          workflow: "ci.yaml"
-          check_artifacts: true
-      - uses: astral-sh/setup-uv@d4b2f3b6ecc6e67c4457f6d3e41ec42d3d0fcb86 # v5.4.2
-      - name: Fuzz
-        env:
-          FORCE_COLOR: 1
-          NEW_TY: ${{ steps.ty-new.outputs.download-path }}
-        run: |
-          # Make executable, since artifact download doesn't preserve this
-          chmod +x "${PWD}/ty" "${NEW_TY}/ty"
-
-          (
-            uvx \
-            --python="${PYTHON_VERSION}" \
-            --from=./python/py-fuzzer \
-            fuzz \
-            --test-executable="${NEW_TY}/ty" \
-            --baseline-executable="${PWD}/ty" \
-            --only-new-bugs \
-            --bin=ty \
-            0-500
-          )
-
   cargo-shear:
     name: "cargo shear"
     runs-on: ubuntu-latest

.github/workflows/daily_property_tests.yaml

@@ -38,17 +38,17 @@ jobs:
       - name: "Install mold"
         uses: rui314/setup-mold@e16410e7f8d9e167b74ad5697a9089a35126eb50 # v1
       - uses: Swatinem/rust-cache@9d47c6ad4b02e050fd481d890b2ea34778fd09d6 # v2.7.8
-      - name: Build ty
+      - name: Build Red Knot
         # A release build takes longer (2 min vs 1 min), but the property tests run much faster in release
         # mode (1.5 min vs 14 min), so the overall time is shorter with a release build.
-        run: cargo build --locked --release --package ty_python_semantic --tests
+        run: cargo build --locked --release --package red_knot_python_semantic --tests
       - name: Run property tests
         shell: bash
         run: |
           export QUICKCHECK_TESTS=100000
           for _ in {1..5}; do
-            cargo test --locked --release --package ty_python_semantic -- --ignored list::property_tests
-            cargo test --locked --release --package ty_python_semantic -- --ignored types::property_tests::stable
+            cargo test --locked --release --package red_knot_python_semantic -- --ignored list::property_tests
+            cargo test --locked --release --package red_knot_python_semantic -- --ignored types::property_tests::stable
           done
 
   create-issue-on-failure:
@@ -68,5 +68,5 @@ jobs:
               repo: "ruff",
               title: `Daily property test run failed on ${new Date().toDateString()}`,
               body: "Run listed here: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}",
-              labels: ["bug", "ty", "testing"],
+              labels: ["bug", "red-knot", "testing"],
             })

.github/workflows/mypy_primer.yaml

@@ -5,7 +5,7 @@ permissions: {}
 on:
   pull_request:
     paths:
-      - "crates/ty*/**"
+      - "crates/red_knot*/**"
       - "crates/ruff_db"
       - "crates/ruff_python_ast"
       - "crates/ruff_python_parser"
@@ -50,7 +50,7 @@ jobs:
         run: |
           cd ruff
 
-          PRIMER_SELECTOR="$(paste -s -d'|' crates/ty_python_semantic/resources/primer/good.txt)"
+          PRIMER_SELECTOR="$(paste -s -d'|' crates/red_knot_python_semantic/resources/primer/good.txt)"
 
           echo "new commit"
           git rev-list --format=%s --max-count=1 "$GITHUB_SHA"
@@ -65,10 +65,10 @@ jobs:
           echo "Project selector: $PRIMER_SELECTOR"
           # Allow the exit code to be 0 or 1, only fail for actual mypy_primer crashes/bugs
           uvx \
-            --from="git+https://github.com/hauntsaninja/mypy_primer@4b15cf3b07db69db67bbfaebfffb2a8a28040933" \
+            --from="git+https://github.com/hauntsaninja/mypy_primer@b83b9eade0b7ed2f4b9b129b163acac1ecb48f71" \
             mypy_primer \
             --repo ruff \
-            --type-checker ty \
+            --type-checker knot \
             --old base_commit \
             --new "$GITHUB_SHA" \
             --project-selector "/($PRIMER_SELECTOR)\$" \

.github/workflows/publish-knot-playground.yml

@@ -1,5 +1,5 @@
-# Publish the ty playground.
-name: "[ty Playground] Release"
+# Publish the Red Knot playground.
+name: "[Knot Playground] Release"
 
 permissions: {}
 
@@ -7,12 +7,12 @@ on:
   push:
     branches: [main]
     paths:
-      - "crates/ty*/**"
+      - "crates/red_knot*/**"
       - "crates/ruff_db/**"
       - "crates/ruff_python_ast/**"
       - "crates/ruff_python_parser/**"
       - "playground/**"
-      - ".github/workflows/publish-ty-playground.yml"
+      - ".github/workflows/publish-knot-playground.yml"
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref_name }}
@@ -45,8 +45,8 @@ jobs:
       - name: "Run TypeScript checks"
         run: npm run check
         working-directory: playground
-      - name: "Build ty playground"
-        run: npm run build --workspace ty-playground
+      - name: "Build Knot playground"
+        run: npm run build --workspace knot-playground
         working-directory: playground
       - name: "Deploy to Cloudflare Pages"
         if: ${{ env.CF_API_TOKEN_EXISTS == 'true' }}
@@ -55,4 +55,4 @@ jobs:
           apiToken: ${{ secrets.CF_API_TOKEN }}
           accountId: ${{ secrets.CF_ACCOUNT_ID }}
           # `github.head_ref` is only set during pull requests and for manual runs or tags we use `main` to deploy to production
-          command: pages deploy playground/ty/dist --project-name=ty-playground --branch ${{ github.head_ref || 'main' }} --commit-hash ${GITHUB_SHA}
+          command: pages deploy playground/knot/dist --project-name=knot-playground --branch ${{ github.head_ref || 'main' }} --commit-hash ${GITHUB_SHA}

.github/workflows/sync_typeshed.yaml

@@ -39,13 +39,13 @@ jobs:
       - name: Sync typeshed
         id: sync
         run: |
-          rm -rf ruff/crates/ty_vendored/vendor/typeshed
-          mkdir ruff/crates/ty_vendored/vendor/typeshed
-          cp typeshed/README.md ruff/crates/ty_vendored/vendor/typeshed
-          cp typeshed/LICENSE ruff/crates/ty_vendored/vendor/typeshed
-          cp -r typeshed/stdlib ruff/crates/ty_vendored/vendor/typeshed/stdlib
-          rm -rf ruff/crates/ty_vendored/vendor/typeshed/stdlib/@tests
-          git -C typeshed rev-parse HEAD > ruff/crates/ty_vendored/vendor/typeshed/source_commit.txt
+          rm -rf ruff/crates/red_knot_vendored/vendor/typeshed
+          mkdir ruff/crates/red_knot_vendored/vendor/typeshed
+          cp typeshed/README.md ruff/crates/red_knot_vendored/vendor/typeshed
+          cp typeshed/LICENSE ruff/crates/red_knot_vendored/vendor/typeshed
+          cp -r typeshed/stdlib ruff/crates/red_knot_vendored/vendor/typeshed/stdlib
+          rm -rf ruff/crates/red_knot_vendored/vendor/typeshed/stdlib/@tests
+          git -C typeshed rev-parse HEAD > ruff/crates/red_knot_vendored/vendor/typeshed/source_commit.txt
       - name: Commit the changes
         id: commit
         if: ${{ steps.sync.outcome == 'success' }}
@@ -79,5 +79,5 @@ jobs:
               repo: "ruff",
               title: `Automated typeshed sync failed on ${new Date().toDateString()}`,
               body: "Run listed here: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}",
-              labels: ["bug", "ty"],
+              labels: ["bug", "red-knot"],
             })

.pre-commit-config.yaml

@@ -3,8 +3,8 @@ fail_fast: false
 exclude: |
   (?x)^(
     .github/workflows/release.yml|
-    crates/ty_vendored/vendor/.*|
-    crates/ty_project/resources/.*|
+    crates/red_knot_vendored/vendor/.*|
+    crates/red_knot_project/resources/.*|
     crates/ruff_benchmark/resources/.*|
     crates/ruff_linter/resources/.*|
     crates/ruff_linter/src/rules/.*/snapshots/.*|

CHANGELOG.md

@@ -1,41 +1,5 @@
 # Changelog
 
-## 0.11.8
-
-### Preview features
-
-- \[`airflow`\] Apply auto fixes to cases where the names have changed in Airflow 3 (`AIR302`, `AIR311`) ([#17553](https://github.com/astral-sh/ruff/pull/17553), [#17570](https://github.com/astral-sh/ruff/pull/17570), [#17571](https://github.com/astral-sh/ruff/pull/17571))
-- \[`airflow`\] Extend `AIR301` rule ([#17598](https://github.com/astral-sh/ruff/pull/17598))
-- \[`airflow`\] Update existing `AIR302` rules with better suggestions ([#17542](https://github.com/astral-sh/ruff/pull/17542))
-- \[`refurb`\] Mark fix as safe for `readlines-in-for` (`FURB129`) ([#17644](https://github.com/astral-sh/ruff/pull/17644))
-- [syntax-errors] `nonlocal` declaration at module level ([#17559](https://github.com/astral-sh/ruff/pull/17559))
-- [syntax-errors] Detect single starred expression assignment `x = *y` ([#17624](https://github.com/astral-sh/ruff/pull/17624))
-
-### Bug fixes
-
-- \[`flake8-pyi`\] Ensure `Literal[None,] | Literal[None,]` is not autofixed to `None | None` (`PYI061`) ([#17659](https://github.com/astral-sh/ruff/pull/17659))
-- \[`flake8-use-pathlib`\] Avoid suggesting `Path.iterdir()` for `os.listdir` with file descriptor (`PTH208`) ([#17715](https://github.com/astral-sh/ruff/pull/17715))
-- \[`flake8-use-pathlib`\] Fix `PTH104` false positive when `rename` is passed a file descriptor ([#17712](https://github.com/astral-sh/ruff/pull/17712))
-- \[`flake8-use-pathlib`\] Fix `PTH116` false positive when `stat` is passed a file descriptor ([#17709](https://github.com/astral-sh/ruff/pull/17709))
-- \[`flake8-use-pathlib`\] Fix `PTH123` false positive when `open` is passed a file descriptor from a function call ([#17705](https://github.com/astral-sh/ruff/pull/17705))
-- \[`pycodestyle`\] Fix duplicated diagnostic in `E712` ([#17651](https://github.com/astral-sh/ruff/pull/17651))
-- \[`pylint`\] Detect `global` declarations in module scope (`PLE0118`) ([#17411](https://github.com/astral-sh/ruff/pull/17411))
-- [syntax-errors] Make `async-comprehension-in-sync-comprehension` more specific ([#17460](https://github.com/astral-sh/ruff/pull/17460))
-
-### Configuration
-
-- Add option to disable `typing_extensions` imports ([#17611](https://github.com/astral-sh/ruff/pull/17611))
-
-### Documentation
-
-- Fix example syntax for the `lint.pydocstyle.ignore-var-parameters` option ([#17740](https://github.com/astral-sh/ruff/pull/17740))
-- Add fix safety sections (`ASYNC116`, `FLY002`, `D200`, `RUF005`, `RUF017`, `RUF027`, `RUF028`, `RUF057`) ([#17497](https://github.com/astral-sh/ruff/pull/17497), [#17496](https://github.com/astral-sh/ruff/pull/17496), [#17502](https://github.com/astral-sh/ruff/pull/17502), [#17484](https://github.com/astral-sh/ruff/pull/17484), [#17480](https://github.com/astral-sh/ruff/pull/17480), [#17485](https://github.com/astral-sh/ruff/pull/17485), [#17722](https://github.com/astral-sh/ruff/pull/17722), [#17483](https://github.com/astral-sh/ruff/pull/17483))
-
-### Other changes
-
-- Add Python 3.14 to configuration options ([#17647](https://github.com/astral-sh/ruff/pull/17647))
-- Make syntax error for unparenthesized except tuples version specific to before 3.14 ([#17660](https://github.com/astral-sh/ruff/pull/17660))
-
 ## 0.11.7
 
 ### Preview features

Cargo.lock

@@ -2472,6 +2472,215 @@ dependencies = [
  "crossbeam-utils",
 ]
 
+[[package]]
+name = "red_knot"
+version = "0.0.0"
+dependencies = [
+ "anyhow",
+ "argfile",
+ "clap",
+ "colored 3.0.0",
+ "countme",
+ "crossbeam",
+ "ctrlc",
+ "filetime",
+ "insta",
+ "insta-cmd",
+ "jiff",
+ "rayon",
+ "red_knot_project",
+ "red_knot_python_semantic",
+ "red_knot_server",
+ "regex",
+ "ruff_db",
+ "ruff_python_ast",
+ "ruff_python_trivia",
+ "salsa",
+ "tempfile",
+ "toml",
+ "tracing",
+ "tracing-flame",
+ "tracing-subscriber",
+ "tracing-tree",
+ "wild",
+]
+
+[[package]]
+name = "red_knot_ide"
+version = "0.0.0"
+dependencies = [
+ "insta",
+ "red_knot_python_semantic",
+ "red_knot_vendored",
+ "ruff_db",
+ "ruff_python_ast",
+ "ruff_python_parser",
+ "ruff_text_size",
+ "rustc-hash 2.1.1",
+ "salsa",
+ "smallvec",
+ "tracing",
+]
+
+[[package]]
+name = "red_knot_project"
+version = "0.0.0"
+dependencies = [
+ "anyhow",
+ "crossbeam",
+ "glob",
+ "insta",
+ "notify",
+ "pep440_rs",
+ "rayon",
+ "red_knot_ide",
+ "red_knot_python_semantic",
+ "red_knot_vendored",
+ "ruff_cache",
+ "ruff_db",
+ "ruff_macros",
+ "ruff_python_ast",
+ "ruff_python_formatter",
+ "ruff_text_size",
+ "rustc-hash 2.1.1",
+ "salsa",
+ "schemars",
+ "serde",
+ "thiserror 2.0.12",
+ "toml",
+ "tracing",
+]
+
+[[package]]
+name = "red_knot_python_semantic"
+version = "0.0.0"
+dependencies = [
+ "anyhow",
+ "bitflags 2.9.0",
+ "camino",
+ "compact_str",
+ "countme",
+ "dir-test",
+ "drop_bomb",
+ "hashbrown 0.15.2",
+ "indexmap",
+ "insta",
+ "itertools 0.14.0",
+ "memchr",
+ "ordermap",
+ "quickcheck",
+ "quickcheck_macros",
+ "red_knot_test",
+ "red_knot_vendored",
+ "ruff_db",
+ "ruff_index",
+ "ruff_macros",
+ "ruff_python_ast",
+ "ruff_python_literal",
+ "ruff_python_parser",
+ "ruff_python_stdlib",
+ "ruff_python_trivia",
+ "ruff_source_file",
+ "ruff_text_size",
+ "rustc-hash 2.1.1",
+ "salsa",
+ "schemars",
+ "serde",
+ "smallvec",
+ "static_assertions",
+ "strum",
+ "strum_macros",
+ "tempfile",
+ "test-case",
+ "thiserror 2.0.12",
+ "tracing",
+]
+
+[[package]]
+name = "red_knot_server"
+version = "0.0.0"
+dependencies = [
+ "anyhow",
+ "crossbeam",
+ "jod-thread",
+ "libc",
+ "lsp-server",
+ "lsp-types",
+ "red_knot_ide",
+ "red_knot_project",
+ "red_knot_python_semantic",
+ "ruff_db",
+ "ruff_notebook",
+ "ruff_source_file",
+ "ruff_text_size",
+ "rustc-hash 2.1.1",
+ "serde",
+ "serde_json",
+ "shellexpand",
+ "tracing",
+ "tracing-subscriber",
+]
+
+[[package]]
+name = "red_knot_test"
+version = "0.0.0"
+dependencies = [
+ "anyhow",
+ "camino",
+ "colored 3.0.0",
+ "insta",
+ "memchr",
+ "red_knot_python_semantic",
+ "red_knot_vendored",
+ "regex",
+ "ruff_db",
+ "ruff_index",
+ "ruff_notebook",
+ "ruff_python_ast",
+ "ruff_python_trivia",
+ "ruff_source_file",
+ "ruff_text_size",
+ "rustc-hash 2.1.1",
+ "salsa",
+ "serde",
+ "smallvec",
+ "tempfile",
+ "thiserror 2.0.12",
+ "toml",
+]
+
+[[package]]
+name = "red_knot_vendored"
+version = "0.0.0"
+dependencies = [
+ "path-slash",
+ "ruff_db",
+ "walkdir",
+ "zip",
+]
+
+[[package]]
+name = "red_knot_wasm"
+version = "0.0.0"
+dependencies = [
+ "console_error_panic_hook",
+ "console_log",
+ "getrandom 0.3.2",
+ "js-sys",
+ "log",
+ "red_knot_ide",
+ "red_knot_project",
+ "red_knot_python_semantic",
+ "ruff_db",
+ "ruff_notebook",
+ "ruff_python_formatter",
+ "ruff_source_file",
+ "ruff_text_size",
+ "serde-wasm-bindgen",
+ "wasm-bindgen",
+ "wasm-bindgen-test",
+]
+
 [[package]]
 name = "redox_syscall"
 version = "0.5.10"
@@ -2549,7 +2758,7 @@ dependencies = [
 
 [[package]]
 name = "ruff"
-version = "0.11.8"
+version = "0.11.7"
 dependencies = [
  "anyhow",
  "argfile",
@@ -2628,6 +2837,7 @@ dependencies = [
  "criterion",
  "mimalloc",
  "rayon",
+ "red_knot_project",
  "ruff_db",
  "ruff_linter",
  "ruff_python_ast",
@@ -2636,7 +2846,6 @@ dependencies = [
  "ruff_python_trivia",
  "rustc-hash 2.1.1",
  "tikv-jemallocator",
- "ty_project",
 ]
 
 [[package]]
@@ -2656,7 +2865,6 @@ dependencies = [
 name = "ruff_db"
 version = "0.0.0"
 dependencies = [
- "anstyle",
  "camino",
  "countme",
  "dashmap 6.1.0",
@@ -2703,6 +2911,7 @@ dependencies = [
  "libcst",
  "pretty_assertions",
  "rayon",
+ "red_knot_project",
  "regex",
  "ruff",
  "ruff_diagnostics",
@@ -2725,7 +2934,6 @@ dependencies = [
  "tracing",
  "tracing-indicatif",
  "tracing-subscriber",
- "ty_project",
 ]
 
 [[package]]
@@ -2761,6 +2969,7 @@ version = "0.1.0"
 dependencies = [
  "anyhow",
  "clap",
+ "red_knot_python_semantic",
  "ruff_cache",
  "ruff_db",
  "ruff_linter",
@@ -2770,7 +2979,6 @@ dependencies = [
  "salsa",
  "schemars",
  "serde",
- "ty_python_semantic",
  "zip",
 ]
 
@@ -2785,7 +2993,7 @@ dependencies = [
 
 [[package]]
 name = "ruff_linter"
-version = "0.11.8"
+version = "0.11.7"
 dependencies = [
  "aho-corasick",
  "anyhow",
@@ -3111,7 +3319,7 @@ dependencies = [
 
 [[package]]
 name = "ruff_wasm"
-version = "0.11.8"
+version = "0.11.7"
 dependencies = [
  "console_error_panic_hook",
  "console_log",
@@ -3235,8 +3443,8 @@ checksum = "28d3b2b1366ec20994f1fd18c3c594f05c5dd4bc44d8bb0c1c632c8d6829481f"
 
 [[package]]
 name = "salsa"
-version = "0.21.0"
-source = "git+https://github.com/salsa-rs/salsa.git?rev=42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7#42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7"
+version = "0.20.0"
+source = "git+https://github.com/salsa-rs/salsa.git?rev=c75b0161aba55965ab6ad8cc9aaee7dc177967f1#c75b0161aba55965ab6ad8cc9aaee7dc177967f1"
 dependencies = [
  "boxcar",
  "compact_str",
@@ -3258,13 +3466,13 @@ dependencies = [
 
 [[package]]
 name = "salsa-macro-rules"
-version = "0.21.0"
-source = "git+https://github.com/salsa-rs/salsa.git?rev=42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7#42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7"
+version = "0.20.0"
+source = "git+https://github.com/salsa-rs/salsa.git?rev=c75b0161aba55965ab6ad8cc9aaee7dc177967f1#c75b0161aba55965ab6ad8cc9aaee7dc177967f1"
 
 [[package]]
 name = "salsa-macros"
-version = "0.21.0"
-source = "git+https://github.com/salsa-rs/salsa.git?rev=42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7#42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7"
+version = "0.20.0"
+source = "git+https://github.com/salsa-rs/salsa.git?rev=c75b0161aba55965ab6ad8cc9aaee7dc177967f1#c75b0161aba55965ab6ad8cc9aaee7dc177967f1"
 dependencies = [
  "heck",
  "proc-macro2",
@@ -3940,216 +4148,6 @@ dependencies = [
  "snapbox",
 ]
 
-[[package]]
-name = "ty"
-version = "0.0.0"
-dependencies = [
- "anyhow",
- "argfile",
- "clap",
- "colored 3.0.0",
- "countme",
- "crossbeam",
- "ctrlc",
- "filetime",
- "insta",
- "insta-cmd",
- "jiff",
- "rayon",
- "regex",
- "ruff_db",
- "ruff_python_ast",
- "ruff_python_trivia",
- "salsa",
- "tempfile",
- "toml",
- "tracing",
- "tracing-flame",
- "tracing-subscriber",
- "tracing-tree",
- "ty_project",
- "ty_python_semantic",
- "ty_server",
- "wild",
-]
-
-[[package]]
-name = "ty_ide"
-version = "0.0.0"
-dependencies = [
- "insta",
- "ruff_db",
- "ruff_python_ast",
- "ruff_python_parser",
- "ruff_text_size",
- "rustc-hash 2.1.1",
- "salsa",
- "smallvec",
- "tracing",
- "ty_python_semantic",
- "ty_vendored",
-]
-
-[[package]]
-name = "ty_project"
-version = "0.0.0"
-dependencies = [
- "anyhow",
- "crossbeam",
- "glob",
- "insta",
- "notify",
- "pep440_rs",
- "rayon",
- "ruff_cache",
- "ruff_db",
- "ruff_macros",
- "ruff_python_ast",
- "ruff_python_formatter",
- "ruff_text_size",
- "rustc-hash 2.1.1",
- "salsa",
- "schemars",
- "serde",
- "thiserror 2.0.12",
- "toml",
- "tracing",
- "ty_ide",
- "ty_python_semantic",
- "ty_vendored",
-]
-
-[[package]]
-name = "ty_python_semantic"
-version = "0.0.0"
-dependencies = [
- "anyhow",
- "bitflags 2.9.0",
- "camino",
- "compact_str",
- "countme",
- "dir-test",
- "drop_bomb",
- "hashbrown 0.15.2",
- "indexmap",
- "insta",
- "itertools 0.14.0",
- "memchr",
- "ordermap",
- "quickcheck",
- "quickcheck_macros",
- "ruff_db",
- "ruff_index",
- "ruff_macros",
- "ruff_python_ast",
- "ruff_python_literal",
- "ruff_python_parser",
- "ruff_python_stdlib",
- "ruff_python_trivia",
- "ruff_source_file",
- "ruff_text_size",
- "rustc-hash 2.1.1",
- "salsa",
- "schemars",
- "serde",
- "smallvec",
- "static_assertions",
- "strum",
- "strum_macros",
- "tempfile",
- "test-case",
- "thiserror 2.0.12",
- "tracing",
- "ty_test",
- "ty_vendored",
-]
-
-[[package]]
-name = "ty_server"
-version = "0.0.0"
-dependencies = [
- "anyhow",
- "crossbeam",
- "jod-thread",
- "libc",
- "lsp-server",
- "lsp-types",
- "ruff_db",
- "ruff_notebook",
- "ruff_source_file",
- "ruff_text_size",
- "rustc-hash 2.1.1",
- "serde",
- "serde_json",
- "shellexpand",
- "tracing",
- "tracing-subscriber",
- "ty_ide",
- "ty_project",
- "ty_python_semantic",
-]
-
-[[package]]
-name = "ty_test"
-version = "0.0.0"
-dependencies = [
- "anyhow",
- "camino",
- "colored 3.0.0",
- "insta",
- "memchr",
- "regex",
- "ruff_db",
- "ruff_index",
- "ruff_notebook",
- "ruff_python_ast",
- "ruff_python_trivia",
- "ruff_source_file",
- "ruff_text_size",
- "rustc-hash 2.1.1",
- "salsa",
- "serde",
- "smallvec",
- "tempfile",
- "thiserror 2.0.12",
- "toml",
- "tracing",
- "ty_python_semantic",
- "ty_vendored",
-]
-
-[[package]]
-name = "ty_vendored"
-version = "0.0.0"
-dependencies = [
- "path-slash",
- "ruff_db",
- "walkdir",
- "zip",
-]
-
-[[package]]
-name = "ty_wasm"
-version = "0.0.0"
-dependencies = [
- "console_error_panic_hook",
- "console_log",
- "getrandom 0.3.2",
- "js-sys",
- "log",
- "ruff_db",
- "ruff_notebook",
- "ruff_python_formatter",
- "ruff_source_file",
- "ruff_text_size",
- "serde-wasm-bindgen",
- "ty_ide",
- "ty_project",
- "ty_python_semantic",
- "wasm-bindgen",
- "wasm-bindgen-test",
-]
-
 [[package]]
 name = "typed-arena"
 version = "2.0.2"

Cargo.toml

@@ -35,14 +35,14 @@ ruff_python_trivia = { path = "crates/ruff_python_trivia" }
 ruff_server = { path = "crates/ruff_server" }
 ruff_source_file = { path = "crates/ruff_source_file" }
 ruff_text_size = { path = "crates/ruff_text_size" }
+red_knot_vendored = { path = "crates/red_knot_vendored" }
 ruff_workspace = { path = "crates/ruff_workspace" }
 
-ty_ide = { path = "crates/ty_ide" }
-ty_project = { path = "crates/ty_project", default-features = false }
-ty_python_semantic = { path = "crates/ty_python_semantic" }
-ty_server = { path = "crates/ty_server" }
-ty_test = { path = "crates/ty_test" }
-ty_vendored = { path = "crates/ty_vendored" }
+red_knot_ide = { path = "crates/red_knot_ide" }
+red_knot_project = { path = "crates/red_knot_project", default-features = false }
+red_knot_python_semantic = { path = "crates/red_knot_python_semantic" }
+red_knot_server = { path = "crates/red_knot_server" }
+red_knot_test = { path = "crates/red_knot_test" }
 
 aho-corasick = { version = "1.1.3" }
 anstream = { version = "0.6.18" }
@@ -124,7 +124,7 @@ rayon = { version = "1.10.0" }
 regex = { version = "1.10.2" }
 rustc-hash = { version = "2.0.0" }
 # When updating salsa, make sure to also update the revision in `fuzz/Cargo.toml`
-salsa = { git = "https://github.com/salsa-rs/salsa.git", rev = "42f15835c0005c4b37aaf5bc1a15e3e1b3df14b7" }
+salsa = { git = "https://github.com/salsa-rs/salsa.git", rev = "c75b0161aba55965ab6ad8cc9aaee7dc177967f1" }
 schemars = { version = "0.8.16" }
 seahash = { version = "4.1.0" }
 serde = { version = "1.0.197", features = ["derive"] }

README.md

@@ -149,8 +149,8 @@ curl -LsSf https://astral.sh/ruff/install.sh | sh
 powershell -c "irm https://astral.sh/ruff/install.ps1 | iex"
 
 # For a specific version.
-curl -LsSf https://astral.sh/ruff/0.11.8/install.sh | sh
-powershell -c "irm https://astral.sh/ruff/0.11.8/install.ps1 | iex"
+curl -LsSf https://astral.sh/ruff/0.11.7/install.sh | sh
+powershell -c "irm https://astral.sh/ruff/0.11.7/install.ps1 | iex"
 ```
 
 You can also install Ruff via [Homebrew](https://formulae.brew.sh/formula/ruff), [Conda](https://anaconda.org/conda-forge/ruff),
@@ -183,7 +183,7 @@ Ruff can also be used as a [pre-commit](https://pre-commit.com/) hook via [`ruff
 ```yaml
 - repo: https://github.com/astral-sh/ruff-pre-commit
   # Ruff version.
-  rev: v0.11.8
+  rev: v0.11.7
   hooks:
     # Run the linter.
     - id: ruff

_typos.toml

@@ -1,7 +1,7 @@
 [files]
 # https://github.com/crate-ci/typos/issues/868
 extend-exclude = [
-    "crates/ty_vendored/vendor/**/*",
+    "crates/red_knot_vendored/vendor/**/*",
     "**/resources/**/*",
     "**/snapshots/**/*",
 ]

crates/red_knot/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "ty"
+name = "red_knot"
 version = "0.0.0"
 edition.workspace = true
 rust-version.workspace = true
@@ -12,11 +12,11 @@ license.workspace = true
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+red_knot_python_semantic = { workspace = true }
+red_knot_project = { workspace = true, features = ["zstd"] }
+red_knot_server = { workspace = true }
 ruff_db = { workspace = true, features = ["os", "cache"] }
 ruff_python_ast = { workspace = true }
-ty_python_semantic = { workspace = true }
-ty_project = { workspace = true, features = ["zstd"] }
-ty_server = { workspace = true }
 
 anyhow = { workspace = true }
 argfile = { workspace = true }

crates/red_knot/README.md

@@ -0,0 +1,25 @@
+# Red Knot
+
+Red Knot is an extremely fast type checker.
+Currently, it is a work-in-progress and not ready for user testing.
+
+Red Knot is designed to prioritize good type inference, even in unannotated code,
+and aims to avoid false positives.
+
+While Red Knot will produce similar results to mypy and pyright on many codebases,
+100% compatibility with these tools is a non-goal.
+On some codebases, Red Knot's design decisions lead to different outcomes
+than you would get from running one of these more established tools.
+
+## Contributing
+
+Core type checking tests are written as Markdown code blocks.
+They can be found in [`red_knot_python_semantic/resources/mdtest`][resources-mdtest].
+See [`red_knot_test/README.md`][mdtest-readme] for more information
+on the test framework itself.
+
+The list of open issues can be found [here][open-issues].
+
+[mdtest-readme]: ../red_knot_test/README.md
+[open-issues]: https://github.com/astral-sh/ruff/issues?q=sort%3Aupdated-desc%20is%3Aissue%20is%3Aopen%20label%3Ared-knot
+[resources-mdtest]: ../red_knot_python_semantic/resources/mdtest

crates/red_knot/build.rs

@@ -13,6 +13,7 @@ fn main() {
 
     commit_info(&workspace_root);
 
+    #[allow(clippy::disallowed_methods)]
     let target = std::env::var("TARGET").unwrap();
     println!("cargo::rustc-env=RUST_HOST_TARGET={target}");
 }
@@ -58,8 +59,8 @@ fn commit_info(workspace_root: &Path) {
     let mut parts = stdout.split_whitespace();
     let mut next = || parts.next().unwrap();
     let _commit_hash = next();
-    println!("cargo::rustc-env=TY_COMMIT_SHORT_HASH={}", next());
-    println!("cargo::rustc-env=TY_COMMIT_DATE={}", next());
+    println!("cargo::rustc-env=RED_KNOT_COMMIT_SHORT_HASH={}", next());
+    println!("cargo::rustc-env=RED_KNOT_COMMIT_DATE={}", next());
 
     // Describe can fail for some commits
     // https://git-scm.com/docs/pretty-formats#Documentation/pretty-formats.txt-emdescribeoptionsem
@@ -69,7 +70,7 @@ fn commit_info(workspace_root: &Path) {
 
         // If this is the tagged commit, this component will be missing
         println!(
-            "cargo::rustc-env=TY_LAST_TAG_DISTANCE={}",
+            "cargo::rustc-env=RED_KNOT_LAST_TAG_DISTANCE={}",
             describe_parts.next().unwrap_or("0")
         );
     }

crates/red_knot/docs/mypy_primer.md

@@ -22,7 +22,7 @@ To show the diagnostics diff between two Git revisions (e.g. your feature branch
 
 ```sh
 mypy_primer \
-    --type-checker ty \
+    --type-checker knot \
     --old origin/main \
     --new my/feature \
     --debug \
@@ -31,15 +31,15 @@ mypy_primer \
 ```
 
 This will show the diagnostics diff for the `black` project between the `main` branch and your `my/feature` branch. To run the
-diff for all projects we currently enable in CI, use `--project-selector "/($(paste -s -d'|' crates/ty_python_semantic/resources/primer/good.txt))\$"`.
+diff for all projects we currently enable in CI, use `--project-selector "/($(paste -s -d'|' crates/red_knot_python_semantic/resources/primer/good.txt))\$"`.
 
-You can also take a look at the [full list of ecosystem projects]. Note that some of them might still need a `ty_paths` configuration
+You can also take a look at the [full list of ecosystem projects]. Note that some of them might still need a `knot_paths` configuration
 option to work correctly.
 
 ## Avoiding recompilation
 
 If you want to run `mypy_primer` repeatedly, e.g. for different projects, but for the same combination of `--old` and `--new`, you
-can use set the `MYPY_PRIMER_NO_REBUILD` environment variable to avoid recompilation of ty:
+can use set the `MYPY_PRIMER_NO_REBUILD` environment variable to avoid recompilation of Red Knot:
 
 ```sh
 MYPY_PRIMER_NO_REBUILD=1 mypy_primer …

crates/red_knot/docs/tracing.md

@@ -1,7 +1,6 @@
 # Tracing
 
-Traces are a useful tool to narrow down the location of a bug or, at least, to understand why the compiler is doing a
-particular thing.
+Traces are a useful tool to narrow down the location of a bug or, at least, to understand why the compiler is doing a particular thing.
 Note, tracing messages with severity `debug` or greater are user-facing. They should be phrased accordingly.
 Tracing spans are only shown when using `-vvv`.
 
@@ -10,28 +9,20 @@ Tracing spans are only shown when using `-vvv`.
 The CLI supports different verbosity levels.
 
 - default: Only show errors and warnings.
-- `-v` activates `info!`: Show generally useful information such as paths of configuration files, detected platform,
-    etc., but it's not a lot of messages, it's something you'll activate in CI by default. cargo build e.g. shows you
-    which packages are fresh.
-- `-vv` activates `debug!` and timestamps: This should be enough information to get to the bottom of bug reports. When
-    you're processing many packages or files, you'll get pages and pages of output, but each line is link to a specific
-    action or state change.
-- `-vvv` activates `trace!` (only in debug builds) and shows tracing-spans: At this level, you're logging everything.
-    Most of this is wasted, it's really slow, we dump e.g. the entire resolution graph. Only useful to developers, and you
-    almost certainly want to use `TY_LOG` to filter it down to the area your investigating.
+- `-v` activates `info!`: Show generally useful information such as paths of configuration files, detected platform, etc., but it's not a lot of messages, it's something you'll activate in CI by default. cargo build e.g. shows you which packages are fresh.
+- `-vv` activates `debug!` and timestamps: This should be enough information to get to the bottom of bug reports. When you're processing many packages or files, you'll get pages and pages of output, but each line is link to a specific action or state change.
+- `-vvv` activates `trace!` (only in debug builds) and shows tracing-spans: At this level, you're logging everything. Most of this is wasted, it's really slow, we dump e.g. the entire resolution graph. Only useful to developers, and you almost certainly want to use `RED_KNOT_LOG` to filter it down to the area your investigating.
 
-## Better logging with `TY_LOG` and `TY_MAX_PARALLELISM`
+## Better logging with `RED_KNOT_LOG` and `RAYON_NUM_THREADS`
 
-By default, the CLI shows messages from the `ruff` and `ty` crates. Tracing messages from other crates are not shown.
-The `TY_LOG` environment variable allows you to customize which messages are shown by specifying one
-or
-more [filter directives](https://docs.rs/tracing-subscriber/latest/tracing_subscriber/filter/struct.EnvFilter.html#directives).
+By default, the CLI shows messages from the `ruff` and `red_knot` crates. Tracing messages from other crates are not shown.
+The `RED_KNOT_LOG` environment variable allows you to customize which messages are shown by specifying one
+or more [filter directives](https://docs.rs/tracing-subscriber/latest/tracing_subscriber/filter/struct.EnvFilter.html#directives).
 
-The `TY_MAX_PARALLELISM` environment variable, meanwhile, can be used to control the level of parallelism ty uses.
-By default, ty will attempt to parallelize its work so that multiple files are checked simultaneously,
-but this can result in a confused logging output where messages from different threads are intertwined and non
-determinism.
-To switch off parallelism entirely and have more readable logs, use `TY_MAX_PARALLELSIM=1` (or `RAYON_NUM_THREADS=1`).
+The `RAYON_NUM_THREADS` environment variable, meanwhile, can be used to control the level of concurrency red-knot uses.
+By default, red-knot will attempt to parallelize its work so that multiple files are checked simultaneously,
+but this can result in a confused logging output where messages from different threads are intertwined.
+To switch off concurrency entirely and have more readable logs, use `RAYON_NUM_THREADS=1`.
 
 ### Examples
 
@@ -40,23 +31,23 @@ To switch off parallelism entirely and have more readable logs, use `TY_MAX_PARA
 Shows debug messages from all crates.
 
 ```bash
-TY_LOG=debug
+RED_KNOT_LOG=debug
 ```
 
 #### Show salsa query execution messages
 
-Show the salsa `execute: my_query` messages in addition to all ty messages.
+Show the salsa `execute: my_query` messages in addition to all red knot messages.
 
 ```bash
-TY_LOG=ruff=trace,ty=trace,salsa=info
+RED_KNOT_LOG=ruff=trace,red_knot=trace,salsa=info
 ```
 
 #### Show typing traces
 
-Only show traces for the `ty_python_semantic::types` module.
+Only show traces for the `red_knot_python_semantic::types` module.
 
 ```bash
-TY_LOG="ty_python_semantic::types"
+RED_KNOT_LOG="red_knot_python_semantic::types"
 ```
 
 Note: Ensure that you use `-vvv` to see tracing spans.
@@ -66,7 +57,7 @@ Note: Ensure that you use `-vvv` to see tracing spans.
 Shows all messages that are inside of a span for a specific file.
 
 ```bash
-TY_LOG=ty[{file=/home/micha/astral/test/x.py}]=trace
+RED_KNOT_LOG=red_knot[{file=/home/micha/astral/test/x.py}]=trace
 ```
 
 **Note**: Tracing still shows all spans because tracing can't know at the time of entering the span
@@ -88,24 +79,22 @@ query to return the failure as part of the query's result or use a Salsa accumul
 
 ## Tracing in tests
 
-You can use `ruff_db::testing::setup_logging` or `ruff_db::testing::setup_logging_with_filter` to set up logging in
-tests.
+You can use `ruff_db::testing::setup_logging` or `ruff_db::testing::setup_logging_with_filter` to set up logging in tests.
 
 ```rust
 use ruff_db::testing::setup_logging;
 
 #[test]
 fn test() {
-    let _logging = setup_logging();
+  let _logging = setup_logging();
 
-    tracing::info!("This message will be printed to stderr");
+  tracing::info!("This message will be printed to stderr");
 }
 ```
 
 Note: Most test runners capture stderr and only show its output when a test fails.
 
-Note also that `setup_logging` only sets up logging for the current thread because
-[`set_global_default`](https://docs.rs/tracing/latest/tracing/subscriber/fn.set_global_default.html) can only be
+Note also that `setup_logging` only sets up logging for the current thread because [`set_global_default`](https://docs.rs/tracing/latest/tracing/subscriber/fn.set_global_default.html) can only be
 called **once**.
 
 ## Release builds
@@ -114,11 +103,10 @@ called **once**.
 
 ## Profiling
 
-ty generates a folded stack trace to the current directory named `tracing.folded` when setting the environment variable
-`TY_LOG_PROFILE` to `1` or `true`.
+Red Knot generates a folded stack trace to the current directory named `tracing.folded` when setting the environment variable `RED_KNOT_LOG_PROFILE` to `1` or `true`.
 
 ```bash
-TY_LOG_PROFILE=1 ty -- --current-directory=../test -vvv
+RED_KNOT_LOG_PROFILE=1 red_knot -- --current-directory=../test -vvv
 ```
 
 You can convert the textual representation into a visual one using `inferno`.

crates/red_knot/src/args.rs

@@ -1,13 +1,17 @@
 use crate::logging::Verbosity;
 use crate::python_version::PythonVersion;
 use clap::{ArgAction, ArgMatches, Error, Parser};
+use red_knot_project::metadata::options::{EnvironmentOptions, Options, TerminalOptions};
+use red_knot_project::metadata::value::{RangedValue, RelativePathBuf};
+use red_knot_python_semantic::lint;
 use ruff_db::system::SystemPathBuf;
-use ty_project::metadata::options::{EnvironmentOptions, Options, TerminalOptions};
-use ty_project::metadata::value::{RangedValue, RelativePathBuf};
-use ty_python_semantic::lint;
 
 #[derive(Debug, Parser)]
-#[command(author, name = "ty", about = "An extremely fast Python type checker.")]
+#[command(
+    author,
+    name = "red-knot",
+    about = "An extremely fast Python type checker."
+)]
 #[command(version)]
 pub(crate) struct Args {
     #[command(subcommand)]
@@ -22,7 +26,7 @@ pub(crate) enum Command {
     /// Start the language server
     Server,
 
-    /// Display ty's version
+    /// Display Red Knot's version
     Version,
 }
 
@@ -44,11 +48,11 @@ pub(crate) struct CheckCommand {
     #[arg(long, value_name = "PROJECT")]
     pub(crate) project: Option<SystemPathBuf>,
 
-    /// Path to the Python installation from which ty resolves type information and third-party dependencies.
+    /// Path to the Python installation from which Red Knot resolves type information and third-party dependencies.
     ///
-    /// If not specified, ty will look at the `VIRTUAL_ENV` environment variable.
+    /// If not specified, Red Knot will look at the `VIRTUAL_ENV` environment variable.
     ///
-    /// ty will search in the path's `site-packages` directories for type information and
+    /// Red Knot will search in the path's `site-packages` directories for type information and
     /// third-party imports.
     ///
     /// This option is commonly used to specify the path to a virtual environment.

crates/red_knot/src/logging.rs

@@ -1,4 +1,4 @@
-//! Sets up logging for ty
+//! Sets up logging for Red Knot
 
 use anyhow::Context;
 use colored::Colorize;
@@ -42,14 +42,14 @@ impl Verbosity {
 
 #[derive(Debug, Copy, Clone, Eq, PartialEq, Ord, PartialOrd)]
 pub(crate) enum VerbosityLevel {
-    /// Default output level. Only shows Ruff and ty events up to the [`WARN`](tracing::Level::WARN).
+    /// Default output level. Only shows Ruff and Red Knot events up to the [`WARN`](tracing::Level::WARN).
     Default,
 
-    /// Enables verbose output. Emits Ruff and ty events up to the [`INFO`](tracing::Level::INFO).
+    /// Enables verbose output. Emits Ruff and Red Knot events up to the [`INFO`](tracing::Level::INFO).
     /// Corresponds to `-v`.
     Verbose,
 
-    /// Enables a more verbose tracing format and emits Ruff and ty events up to [`DEBUG`](tracing::Level::DEBUG).
+    /// Enables a more verbose tracing format and emits Ruff and Red Knot events up to [`DEBUG`](tracing::Level::DEBUG).
     /// Corresponds to `-vv`
     ExtraVerbose,
 
@@ -79,11 +79,11 @@ impl VerbosityLevel {
 pub(crate) fn setup_tracing(level: VerbosityLevel) -> anyhow::Result<TracingGuard> {
     use tracing_subscriber::prelude::*;
 
-    // The `TY_LOG` environment variable overrides the default log level.
-    let filter = if let Ok(log_env_variable) = std::env::var("TY_LOG") {
+    // The `RED_KNOT_LOG` environment variable overrides the default log level.
+    let filter = if let Ok(log_env_variable) = std::env::var("RED_KNOT_LOG") {
         EnvFilter::builder()
             .parse(log_env_variable)
-            .context("Failed to parse directives specified in TY_LOG environment variable.")?
+            .context("Failed to parse directives specified in RED_KNOT_LOG environment variable.")?
     } else {
         match level {
             VerbosityLevel::Default => {
@@ -93,9 +93,9 @@ pub(crate) fn setup_tracing(level: VerbosityLevel) -> anyhow::Result<TracingGuar
             level => {
                 let level_filter = level.level_filter();
 
-                // Show info|debug|trace events, but allow `TY_LOG` to override
+                // Show info|debug|trace events, but allow `RED_KNOT_LOG` to override
                 let filter = EnvFilter::default().add_directive(
-                    format!("ty={level_filter}")
+                    format!("red_knot={level_filter}")
                         .parse()
                         .expect("Hardcoded directive to be valid"),
                 );
@@ -131,7 +131,7 @@ pub(crate) fn setup_tracing(level: VerbosityLevel) -> anyhow::Result<TracingGuar
     } else {
         let subscriber = registry.with(
             tracing_subscriber::fmt::layer()
-                .event_format(TyFormat {
+                .event_format(RedKnotFormat {
                     display_level: true,
                     display_timestamp: level.is_extra_verbose(),
                     show_spans: false,
@@ -147,7 +147,7 @@ pub(crate) fn setup_tracing(level: VerbosityLevel) -> anyhow::Result<TracingGuar
     })
 }
 
-#[expect(clippy::type_complexity)]
+#[allow(clippy::type_complexity)]
 fn setup_profile<S>() -> (
     Option<tracing_flame::FlameLayer<S, BufWriter<File>>>,
     Option<tracing_flame::FlushGuard<BufWriter<File>>>,
@@ -155,7 +155,7 @@ fn setup_profile<S>() -> (
 where
     S: Subscriber + for<'span> LookupSpan<'span>,
 {
-    if let Ok("1" | "true") = std::env::var("TY_LOG_PROFILE").as_deref() {
+    if let Ok("1" | "true") = std::env::var("RED_KNOT_LOG_PROFILE").as_deref() {
         let (layer, guard) = tracing_flame::FlameLayer::with_file("tracing.folded")
             .expect("Flame layer to be created");
         (Some(layer), Some(guard))
@@ -168,14 +168,14 @@ pub(crate) struct TracingGuard {
     _flame_guard: Option<tracing_flame::FlushGuard<BufWriter<File>>>,
 }
 
-struct TyFormat {
+struct RedKnotFormat {
     display_timestamp: bool,
     display_level: bool,
     show_spans: bool,
 }
 
 /// See <https://docs.rs/tracing-subscriber/0.3.18/src/tracing_subscriber/fmt/format/mod.rs.html#1026-1156>
-impl<S, N> FormatEvent<S, N> for TyFormat
+impl<S, N> FormatEvent<S, N> for RedKnotFormat
 where
     S: Subscriber + for<'a> LookupSpan<'a>,
     N: for<'a> FormatFields<'a> + 'static,

crates/red_knot/src/main.rs

@@ -10,34 +10,31 @@ use anyhow::{anyhow, Context};
 use clap::Parser;
 use colored::Colorize;
 use crossbeam::channel as crossbeam_channel;
-use rayon::ThreadPoolBuilder;
+use red_knot_project::metadata::options::Options;
+use red_knot_project::watch::ProjectWatcher;
+use red_knot_project::{watch, Db};
+use red_knot_project::{ProjectDatabase, ProjectMetadata};
+use red_knot_server::run_server;
 use ruff_db::diagnostic::{Diagnostic, DisplayDiagnosticConfig, Severity};
-use ruff_db::max_parallelism;
 use ruff_db::system::{OsSystem, SystemPath, SystemPathBuf};
 use salsa::plumbing::ZalsaDatabase;
-use ty_project::metadata::options::Options;
-use ty_project::watch::ProjectWatcher;
-use ty_project::{watch, Db};
-use ty_project::{ProjectDatabase, ProjectMetadata};
-use ty_server::run_server;
 
 mod args;
 mod logging;
 mod python_version;
 mod version;
 
+#[allow(clippy::print_stdout, clippy::unnecessary_wraps, clippy::print_stderr)]
 pub fn main() -> ExitStatus {
-    setup_rayon();
-
     run().unwrap_or_else(|error| {
         use std::io::Write;
 
         // Use `writeln` instead of `eprintln` to avoid panicking when the stderr pipe is broken.
         let mut stderr = std::io::stderr().lock();
 
-        // This communicates that this isn't a linter error but ty itself hard-errored for
+        // This communicates that this isn't a linter error but Red Knot itself hard-errored for
         // some reason (e.g. failed to resolve the configuration)
-        writeln!(stderr, "{}", "ty failed".red().bold()).ok();
+        writeln!(stderr, "{}", "Red Knot failed".red().bold()).ok();
         // Currently we generally only see one error, but e.g. with io errors when resolving
         // the configuration it is help to chain errors ("resolving configuration failed" ->
         // "failed to read file: subdir/pyproject.toml")
@@ -74,7 +71,7 @@ fn run() -> anyhow::Result<ExitStatus> {
 pub(crate) fn version() -> Result<()> {
     let mut stdout = BufWriter::new(io::stdout().lock());
     let version_info = crate::version::version();
-    writeln!(stdout, "ty {}", &version_info)?;
+    writeln!(stdout, "red knot {}", &version_info)?;
     Ok(())
 }
 
@@ -93,7 +90,7 @@ fn run_check(args: CheckCommand) -> anyhow::Result<ExitStatus> {
         SystemPathBuf::from_path_buf(cwd)
             .map_err(|path| {
                 anyhow!(
-                    "The current working directory `{}` contains non-Unicode characters. ty only supports Unicode paths.",
+                    "The current working directory `{}` contains non-Unicode characters. Red Knot only supports Unicode paths.",
                     path.display()
                 )
             })?
@@ -175,7 +172,7 @@ pub enum ExitStatus {
     /// Checking failed due to an invocation error (e.g. the current directory no longer exists, incorrect CLI arguments, ...)
     Error = 2,
 
-    /// Internal ty error (panic, or any other error that isn't due to the user using the
+    /// Internal Red Knot error (panic, or any other error that isn't due to the user using the
     /// program incorrectly or transient environment errors).
     InternalError = 101,
 }
@@ -396,11 +393,3 @@ fn set_colored_override(color: Option<TerminalColor>) {
         }
     }
 }
-
-/// Initializes the global rayon thread pool to never use more than `TY_MAX_PARALLELISM` threads.
-fn setup_rayon() {
-    ThreadPoolBuilder::default()
-        .num_threads(max_parallelism().get())
-        .build_global()
-        .unwrap();
-}

crates/red_knot/src/version.rs

@@ -1,16 +1,16 @@
-//! Code for representing ty's release version number.
+//! Code for representing Red Knot's release version number.
 use std::fmt;
 
-/// Information about the git repository where ty was built from.
+/// Information about the git repository where Red Knot was built from.
 pub(crate) struct CommitInfo {
     short_commit_hash: String,
     commit_date: String,
     commits_since_last_tag: u32,
 }
 
-/// ty's version.
+/// Red Knot's version.
 pub(crate) struct VersionInfo {
-    /// ty's version, such as "0.5.1"
+    /// Red Knot's version, such as "0.5.1"
     version: String,
     /// Information about the git commit we may have been built from.
     ///
@@ -34,7 +34,7 @@ impl fmt::Display for VersionInfo {
     }
 }
 
-/// Returns information about ty's version.
+/// Returns information about Red Knot's version.
 pub(crate) fn version() -> VersionInfo {
     // Environment variables are only read at compile-time
     macro_rules! option_env_str {
@@ -47,13 +47,14 @@ pub(crate) fn version() -> VersionInfo {
     let version = option_env_str!("CARGO_PKG_VERSION").unwrap();
 
     // Commit info is pulled from git and set by `build.rs`
-    let commit_info = option_env_str!("TY_COMMIT_SHORT_HASH").map(|short_commit_hash| CommitInfo {
-        short_commit_hash,
-        commit_date: option_env_str!("TY_COMMIT_DATE").unwrap(),
-        commits_since_last_tag: option_env_str!("TY_LAST_TAG_DISTANCE")
-            .as_deref()
-            .map_or(0, |value| value.parse::<u32>().unwrap_or(0)),
-    });
+    let commit_info =
+        option_env_str!("RED_KNOT_COMMIT_SHORT_HASH").map(|short_commit_hash| CommitInfo {
+            short_commit_hash,
+            commit_date: option_env_str!("RED_KNOT_COMMIT_DATE").unwrap(),
+            commits_since_last_tag: option_env_str!("RED_KNOT_LAST_TAG_DISTANCE")
+                .as_deref()
+                .map_or(0, |value| value.parse::<u32>().unwrap_or(0)),
+        });
 
     VersionInfo {
         version,

crates/red_knot/tests/cli.rs

@@ -79,7 +79,7 @@ fn test_respect_ignore_files() -> anyhow::Result<()> {
     ");
 
     // Test that we can set to false via config file
-    case.write_file("ty.toml", "respect-ignore-files = false")?;
+    case.write_file("knot.toml", "respect-ignore-files = false")?;
     assert_cmd_snapshot!(case.command(), @r"
     success: false
     exit_code: 1
@@ -97,7 +97,7 @@ fn test_respect_ignore_files() -> anyhow::Result<()> {
     ");
 
     // Ensure CLI takes precedence
-    case.write_file("ty.toml", "respect-ignore-files = true")?;
+    case.write_file("knot.toml", "respect-ignore-files = true")?;
     assert_cmd_snapshot!(case.command().arg("--no-respect-ignore-files"), @r"
     success: false
     exit_code: 1
@@ -123,7 +123,7 @@ fn config_override_python_version() -> anyhow::Result<()> {
         (
             "pyproject.toml",
             r#"
-            [tool.ty.environment]
+            [tool.knot.environment]
             python-version = "3.11"
             "#,
         ),
@@ -174,7 +174,7 @@ fn config_override_python_platform() -> anyhow::Result<()> {
         (
             "pyproject.toml",
             r#"
-            [tool.ty.environment]
+            [tool.knot.environment]
             python-platform = "linux"
             "#,
         ),
@@ -249,7 +249,7 @@ fn cli_arguments_are_relative_to_the_current_directory() -> anyhow::Result<()> {
         (
             "pyproject.toml",
             r#"
-            [tool.ty.environment]
+            [tool.knot.environment]
             python-version = "3.11"
             "#,
         ),
@@ -320,7 +320,7 @@ fn paths_in_configuration_files_are_relative_to_the_project_root() -> anyhow::Re
         (
             "pyproject.toml",
             r#"
-            [tool.ty.environment]
+            [tool.knot.environment]
             python-version = "3.11"
             extra-paths = ["libs"]
             "#,
@@ -401,7 +401,7 @@ fn configuration_rule_severity() -> anyhow::Result<()> {
     case.write_file(
         "pyproject.toml",
         r#"
-        [tool.ty.rules]
+        [tool.knot.rules]
         division-by-zero = "warn" # demote to warn
         possibly-unresolved-reference = "ignore"
     "#,
@@ -604,14 +604,14 @@ fn cli_rule_severity_precedence() -> anyhow::Result<()> {
     Ok(())
 }
 
-/// ty warns about unknown rules specified in a configuration file
+/// Red Knot warns about unknown rules specified in a configuration file
 #[test]
 fn configuration_unknown_rules() -> anyhow::Result<()> {
     let case = TestCase::with_files([
         (
             "pyproject.toml",
             r#"
-            [tool.ty.rules]
+            [tool.knot.rules]
             division-by-zer = "warn" # incorrect rule name
             "#,
         ),
@@ -625,7 +625,7 @@ fn configuration_unknown_rules() -> anyhow::Result<()> {
     warning: unknown-rule
      --> pyproject.toml:3:1
       |
-    2 | [tool.ty.rules]
+    2 | [tool.knot.rules]
     3 | division-by-zer = "warn" # incorrect rule name
       | ^^^^^^^^^^^^^^^ Unknown lint rule `division-by-zer`
       |
@@ -638,7 +638,7 @@ fn configuration_unknown_rules() -> anyhow::Result<()> {
     Ok(())
 }
 
-/// ty warns about unknown rules specified in a CLI argument
+/// Red Knot warns about unknown rules specified in a CLI argument
 #[test]
 fn cli_unknown_rules() -> anyhow::Result<()> {
     let case = TestCase::with_file("test.py", "print(10)")?;
@@ -768,7 +768,7 @@ fn exit_code_no_errors_but_error_on_warning_is_enabled_in_configuration() -> any
     let case = TestCase::with_files([
         ("test.py", r"print(x)  # [unresolved-reference]"),
         (
-            "ty.toml",
+            "knot.toml",
             r#"
             [terminal]
             error-on-warning = true
@@ -913,7 +913,7 @@ fn exit_code_exit_zero_is_true() -> anyhow::Result<()> {
 fn user_configuration() -> anyhow::Result<()> {
     let case = TestCase::with_files([
         (
-            "project/ty.toml",
+            "project/knot.toml",
             r#"
             [rules]
             division-by-zero = "warn"
@@ -973,7 +973,7 @@ fn user_configuration() -> anyhow::Result<()> {
     // Changing the level for `division-by-zero` has no effect, because the project-level configuration
     // has higher precedence.
     case.write_file(
-        config_directory.join("ty/ty.toml"),
+        config_directory.join("knot/knot.toml"),
         r#"
         [rules]
         division-by-zero = "error"
@@ -1267,7 +1267,7 @@ impl TestCase {
     }
 
     fn command(&self) -> Command {
-        let mut command = Command::new(get_cargo_bin("ty"));
+        let mut command = Command::new(get_cargo_bin("red_knot"));
         command.current_dir(&self.project_dir).arg("check");
         command
     }

crates/red_knot/tests/file_watching.rs

@@ -3,6 +3,12 @@ use std::io::Write;
 use std::time::{Duration, Instant};
 
 use anyhow::{anyhow, Context};
+use red_knot_project::metadata::options::{EnvironmentOptions, Options};
+use red_knot_project::metadata::pyproject::{PyProject, Tool};
+use red_knot_project::metadata::value::{RangedValue, RelativePathBuf};
+use red_knot_project::watch::{directory_watcher, ChangeEvent, ProjectWatcher};
+use red_knot_project::{Db, ProjectDatabase, ProjectMetadata};
+use red_knot_python_semantic::{resolve_module, ModuleName, PythonPlatform};
 use ruff_db::files::{system_path_to_file, File, FileError};
 use ruff_db::source::source_text;
 use ruff_db::system::{
@@ -10,12 +16,6 @@ use ruff_db::system::{
 };
 use ruff_db::{Db as _, Upcast};
 use ruff_python_ast::PythonVersion;
-use ty_project::metadata::options::{EnvironmentOptions, Options};
-use ty_project::metadata::pyproject::{PyProject, Tool};
-use ty_project::metadata::value::{RangedValue, RelativePathBuf};
-use ty_project::watch::{directory_watcher, ChangeEvent, ProjectWatcher};
-use ty_project::{Db, ProjectDatabase, ProjectMetadata};
-use ty_python_semantic::{resolve_module, ModuleName, PythonPlatform};
 
 struct TestCase {
     db: ProjectDatabase,
@@ -173,7 +173,9 @@ impl TestCase {
             self.project_path("pyproject.toml").as_std_path(),
             toml::to_string(&PyProject {
                 project: None,
-                tool: Some(Tool { ty: Some(options) }),
+                tool: Some(Tool {
+                    knot: Some(options),
+                }),
             })
             .context("Failed to serialize options")?,
         )
@@ -380,7 +382,9 @@ where
             project_path.join("pyproject.toml").as_std_path(),
             toml::to_string(&PyProject {
                 project: None,
-                tool: Some(Tool { ty: Some(options) }),
+                tool: Some(Tool {
+                    knot: Some(options),
+                }),
             })
             .context("Failed to serialize options")?,
         )
@@ -1542,7 +1546,7 @@ mod unix {
         //
         // I further tested how good editor support is for symlinked files and it is not good ;)
         // * VS Code doesn't update the file content if a file gets changed through a symlink
-        // * PyCharm doesn't update diagnostics if a symlinked module is changed (same as ty).
+        // * PyCharm doesn't update diagnostics if a symlinked module is changed (same as red knot).
         //
         // That's why I think it's fine to not support this case for now.
 
@@ -1654,7 +1658,7 @@ mod unix {
         // It would be nice if this is supported but the underlying file system watchers
         // only emit a single event. For reference
         // * VS Code doesn't update the file content if a file gets changed through a symlink
-        // * PyCharm doesn't update diagnostics if a symlinked module is changed (same as ty).
+        // * PyCharm doesn't update diagnostics if a symlinked module is changed (same as red knot).
         // We could add support for it by keeping a reverse map from `real_path` to symlinked path but
         // it doesn't seem worth doing considering that as prominent tools like PyCharm don't support it.
         // Pyright does support it, thanks to chokidar.
@@ -1678,7 +1682,7 @@ fn nested_projects_delete_root() -> anyhow::Result<()> {
             [project]
             name = "inner"
 
-            [tool.ty]
+            [tool.knot]
             "#,
         )?;
 
@@ -1688,7 +1692,7 @@ fn nested_projects_delete_root() -> anyhow::Result<()> {
             [project]
             name = "outer"
 
-            [tool.ty]
+            [tool.knot]
             "#,
         )?;
 
@@ -1728,9 +1732,9 @@ fn changes_to_user_configuration() -> anyhow::Result<()> {
         )?;
 
         let config_directory = context.join_root_path("home/.config");
-        std::fs::create_dir_all(config_directory.join("ty").as_std_path())?;
+        std::fs::create_dir_all(config_directory.join("knot").as_std_path())?;
         std::fs::write(
-            config_directory.join("ty/ty.toml").as_std_path(),
+            config_directory.join("knot/knot.toml").as_std_path(),
             r#"
             [rules]
             division-by-zero = "ignore"
@@ -1761,14 +1765,14 @@ fn changes_to_user_configuration() -> anyhow::Result<()> {
 
     // Enable division-by-zero in the user configuration with warning severity
     update_file(
-        case.root_path().join("home/.config/ty/ty.toml"),
+        case.root_path().join("home/.config/knot/knot.toml"),
         r#"
         [rules]
         division-by-zero = "warn"
         "#,
     )?;
 
-    let changes = case.stop_watch(event_for_file("ty.toml"));
+    let changes = case.stop_watch(event_for_file("knot.toml"));
 
     case.apply_changes(changes);
 
@@ -1789,7 +1793,7 @@ fn changes_to_user_configuration() -> anyhow::Result<()> {
 ///
 /// This test currently fails on case-insensitive systems because `Files` is case-sensitive
 /// but the `System::metadata` call isn't. This means that
-/// ty considers both `Lib.py` and `lib.py` to exist when only `lib.py` does
+/// Red Knot considers both `Lib.py` and `lib.py` to exist when only `lib.py` does
 ///
 /// The incoming change events then are no-ops because they don't change either file's
 /// status nor does it update their last modified time (renaming a file doesn't bump it's
@@ -1801,7 +1805,7 @@ fn changes_to_user_configuration() -> anyhow::Result<()> {
 /// `System` calls should be case sensitive. This would be the most consistent
 /// but might be hard to pull off.
 ///
-/// What the right solution is also depends on if ty itself should be case
+/// What the right solution is also depends on if Red Knot itself should be case
 /// sensitive or not. E.g. should `include="src"` be case sensitive on all systems
 /// or only on case-sensitive systems?
 ///

crates/red_knot_ide/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "ty_ide"
+name = "red_knot_ide"
 version = "0.0.0"
 publish = false
 authors = { workspace = true }
@@ -15,7 +15,7 @@ ruff_db = { workspace = true }
 ruff_python_ast = { workspace = true }
 ruff_python_parser = { workspace = true }
 ruff_text_size = { workspace = true }
-ty_python_semantic = { workspace = true }
+red_knot_python_semantic = { workspace = true }
 
 rustc-hash = { workspace = true }
 salsa = { workspace = true }
@@ -23,7 +23,7 @@ smallvec = { workspace = true }
 tracing = { workspace = true }
 
 [dev-dependencies]
-ty_vendored = { workspace = true }
+red_knot_vendored = { workspace = true }
 
 insta = { workspace = true, features = ["filters"] }
 

crates/red_knot_ide/src/db.rs

@@ -1,5 +1,5 @@
+use red_knot_python_semantic::Db as SemanticDb;
 use ruff_db::{Db as SourceDb, Upcast};
-use ty_python_semantic::Db as SemanticDb;
 
 #[salsa::db]
 pub trait Db: SemanticDb + Upcast<dyn SemanticDb> + Upcast<dyn SourceDb> {}
@@ -9,12 +9,12 @@ pub(crate) mod tests {
     use std::sync::Arc;
 
     use super::Db;
+    use red_knot_python_semantic::lint::{LintRegistry, RuleSelection};
+    use red_knot_python_semantic::{default_lint_registry, Db as SemanticDb, Program};
     use ruff_db::files::{File, Files};
     use ruff_db::system::{DbWithTestSystem, System, TestSystem};
     use ruff_db::vendored::VendoredFileSystem;
     use ruff_db::{Db as SourceDb, Upcast};
-    use ty_python_semantic::lint::{LintRegistry, RuleSelection};
-    use ty_python_semantic::{default_lint_registry, Db as SemanticDb, Program};
 
     #[salsa::db]
     #[derive(Clone)]
@@ -27,13 +27,13 @@ pub(crate) mod tests {
         rule_selection: Arc<RuleSelection>,
     }
 
-    #[expect(dead_code)]
+    #[allow(dead_code)]
     impl TestDb {
         pub(crate) fn new() -> Self {
             Self {
                 storage: salsa::Storage::default(),
                 system: TestSystem::default(),
-                vendored: ty_vendored::file_system().clone(),
+                vendored: red_knot_vendored::file_system().clone(),
                 events: Arc::default(),
                 files: Files::default(),
                 rule_selection: Arc::new(RuleSelection::from_registry(default_lint_registry())),

crates/red_knot_ide/src/goto.rs

@@ -1,12 +1,12 @@
 use crate::find_node::covering_node;
 use crate::{Db, HasNavigationTargets, NavigationTargets, RangedValue};
+use red_knot_python_semantic::types::Type;
+use red_knot_python_semantic::{HasType, SemanticModel};
 use ruff_db::files::{File, FileRange};
 use ruff_db::parsed::{parsed_module, ParsedModule};
 use ruff_python_ast::{self as ast, AnyNodeRef};
 use ruff_python_parser::TokenKind;
 use ruff_text_size::{Ranged, TextRange, TextSize};
-use ty_python_semantic::types::Type;
-use ty_python_semantic::{HasType, SemanticModel};
 
 pub fn goto_type_definition(
     db: &dyn Db,

crates/red_knot_ide/src/hover.rs

@@ -1,12 +1,12 @@
 use crate::goto::{find_goto_target, GotoTarget};
 use crate::{Db, MarkupKind, RangedValue};
+use red_knot_python_semantic::types::Type;
+use red_knot_python_semantic::SemanticModel;
 use ruff_db::files::{File, FileRange};
 use ruff_db::parsed::parsed_module;
 use ruff_text_size::{Ranged, TextSize};
 use std::fmt;
 use std::fmt::Formatter;
-use ty_python_semantic::types::Type;
-use ty_python_semantic::SemanticModel;
 
 pub fn hover(db: &dyn Db, file: File, offset: TextSize) -> Option<RangedValue<Hover>> {
     let parsed = parsed_module(db.upcast(), file);
@@ -444,129 +444,7 @@ mod tests {
     }
 
     #[test]
-    fn hover_variable_assignment() {
-        let test = cursor_test(
-            r#"
-            value<CURSOR> = 1
-            "#,
-        );
-
-        assert_snapshot!(test.hover(), @r"
-        Literal[1]
-        ---------------------------------------------
-        ```text
-        Literal[1]
-        ```
-        ---------------------------------------------
-        info: lint:hover: Hovered content is
-         --> main.py:2:13
-          |
-        2 |             value = 1
-          |             ^^^^^- Cursor offset
-          |             |
-          |             source
-          |
-        ");
-    }
-
-    #[test]
-    fn hover_augmented_assignment() {
-        let test = cursor_test(
-            r#"
-            value = 1
-            value<CURSOR> += 2
-            "#,
-        );
-
-        // We currently show the *previous* value of the variable (1), not the new one (3).
-        // Showing the new value might be more intuitive for some users, but the actual 'use'
-        // of the `value` symbol here in read-context is `1`. This comment mainly exists to
-        // signal that it might be okay to revisit this in the future and reveal 3 instead.
-        assert_snapshot!(test.hover(), @r"
-        Literal[1]
-        ---------------------------------------------
-        ```text
-        Literal[1]
-        ```
-        ---------------------------------------------
-        info: lint:hover: Hovered content is
-         --> main.py:3:13
-          |
-        2 |             value = 1
-        3 |             value += 2
-          |             ^^^^^- Cursor offset
-          |             |
-          |             source
-          |
-        ");
-    }
-
-    #[test]
-    fn hover_attribute_assignment() {
-        let test = cursor_test(
-            r#"
-            class C:
-                attr: int = 1
-
-            C.attr<CURSOR> = 2
-            "#,
-        );
-
-        assert_snapshot!(test.hover(), @r"
-        Literal[2]
-        ---------------------------------------------
-        ```text
-        Literal[2]
-        ```
-        ---------------------------------------------
-        info: lint:hover: Hovered content is
-         --> main.py:5:13
-          |
-        3 |                 attr: int = 1
-        4 |
-        5 |             C.attr = 2
-          |             ^^^^^^- Cursor offset
-          |             |
-          |             source
-          |
-        ");
-    }
-
-    #[test]
-    fn hover_augmented_attribute_assignment() {
-        let test = cursor_test(
-            r#"
-            class C:
-                attr = 1
-
-            C.attr<CURSOR> += 2
-            "#,
-        );
-
-        // See the comment in the `hover_augmented_assignment` test above. The same
-        // reasoning applies here.
-        assert_snapshot!(test.hover(), @r"
-        Unknown | Literal[1]
-        ---------------------------------------------
-        ```text
-        Unknown | Literal[1]
-        ```
-        ---------------------------------------------
-        info: lint:hover: Hovered content is
-         --> main.py:5:13
-          |
-        3 |                 attr = 1
-        4 |
-        5 |             C.attr += 2
-          |             ^^^^^^- Cursor offset
-          |             |
-          |             source
-          |
-        ");
-    }
-
-    #[test]
-    fn hover_annotated_assignment() {
+    fn hover_class_member_declaration() {
         let test = cursor_test(
             r#"
         class Foo:
@@ -574,11 +452,12 @@ mod tests {
         "#,
         );
 
+        // TODO: This should be int and not `Never`, https://github.com/astral-sh/ruff/issues/17122
         assert_snapshot!(test.hover(), @r"
-        int
+        Never
         ---------------------------------------------
         ```text
-        int
+        Never
         ```
         ---------------------------------------------
         info: lint:hover: Hovered content is
@@ -593,64 +472,6 @@ mod tests {
         ");
     }
 
-    #[test]
-    fn hover_annotated_assignment_with_rhs() {
-        let test = cursor_test(
-            r#"
-        class Foo:
-            a<CURSOR>: int = 1
-        "#,
-        );
-
-        assert_snapshot!(test.hover(), @r"
-        Literal[1]
-        ---------------------------------------------
-        ```text
-        Literal[1]
-        ```
-        ---------------------------------------------
-        info: lint:hover: Hovered content is
-         --> main.py:3:13
-          |
-        2 |         class Foo:
-        3 |             a: int = 1
-          |             ^- Cursor offset
-          |             |
-          |             source
-          |
-        ");
-    }
-
-    #[test]
-    fn hover_annotated_attribute_assignment() {
-        let test = cursor_test(
-            r#"
-        class Foo:
-            def __init__(self, a: int):
-                self.a<CURSOR>: int = a
-        "#,
-        );
-
-        assert_snapshot!(test.hover(), @r"
-        int
-        ---------------------------------------------
-        ```text
-        int
-        ```
-        ---------------------------------------------
-        info: lint:hover: Hovered content is
-         --> main.py:4:17
-          |
-        2 |         class Foo:
-        3 |             def __init__(self, a: int):
-        4 |                 self.a: int = a
-          |                 ^^^^^^- Cursor offset
-          |                 |
-          |                 source
-          |
-        ");
-    }
-
     #[test]
     fn hover_type_narrowing() {
         let test = cursor_test(

crates/red_knot_ide/src/inlay_hints.rs

@@ -1,4 +1,6 @@
 use crate::Db;
+use red_knot_python_semantic::types::Type;
+use red_knot_python_semantic::{HasType, SemanticModel};
 use ruff_db::files::File;
 use ruff_db::parsed::parsed_module;
 use ruff_python_ast::visitor::source_order::{self, SourceOrderVisitor, TraversalSignal};
@@ -6,8 +8,6 @@ use ruff_python_ast::{AnyNodeRef, Expr, Stmt};
 use ruff_text_size::{Ranged, TextRange, TextSize};
 use std::fmt;
 use std::fmt::Formatter;
-use ty_python_semantic::types::Type;
-use ty_python_semantic::{HasType, SemanticModel};
 
 #[derive(Debug, Clone, Eq, PartialEq)]
 pub struct InlayHint<'db> {
@@ -157,11 +157,11 @@ mod tests {
 
     use crate::db::tests::TestDb;
 
-    use ruff_db::system::{DbWithWritableSystem, SystemPathBuf};
-    use ruff_python_ast::PythonVersion;
-    use ty_python_semantic::{
+    use red_knot_python_semantic::{
         Program, ProgramSettings, PythonPath, PythonPlatform, SearchPathSettings,
     };
+    use ruff_db::system::{DbWithWritableSystem, SystemPathBuf};
+    use ruff_python_ast::PythonVersion;
 
     pub(super) fn inlay_hint_test(source: &str) -> InlayHintTest {
         const START: &str = "<START>";

crates/red_knot_ide/src/lib.rs

@@ -1,4 +1,3 @@
-mod completion;
 mod db;
 mod find_node;
 mod goto;
@@ -6,7 +5,6 @@ mod hover;
 mod inlay_hints;
 mod markup;
 
-pub use completion::completion;
 pub use db::Db;
 pub use goto::goto_type_definition;
 pub use hover::hover;
@@ -16,9 +14,9 @@ pub use markup::MarkupKind;
 use rustc_hash::FxHashSet;
 use std::ops::{Deref, DerefMut};
 
+use red_knot_python_semantic::types::{Type, TypeDefinition};
 use ruff_db::files::{File, FileRange};
 use ruff_text_size::{Ranged, TextRange};
-use ty_python_semantic::types::{Type, TypeDefinition};
 
 /// Information associated with a text range.
 #[derive(Debug, Copy, Clone, Eq, PartialEq, Hash)]
@@ -201,14 +199,14 @@ impl HasNavigationTargets for TypeDefinition<'_> {
 mod tests {
     use crate::db::tests::TestDb;
     use insta::internals::SettingsBindDropGuard;
+    use red_knot_python_semantic::{
+        Program, ProgramSettings, PythonPath, PythonPlatform, SearchPathSettings,
+    };
     use ruff_db::diagnostic::{Diagnostic, DiagnosticFormat, DisplayDiagnosticConfig};
     use ruff_db::files::{system_path_to_file, File};
     use ruff_db::system::{DbWithWritableSystem, SystemPath, SystemPathBuf};
     use ruff_python_ast::PythonVersion;
     use ruff_text_size::TextSize;
-    use ty_python_semantic::{
-        Program, ProgramSettings, PythonPath, PythonPlatform, SearchPathSettings,
-    };
 
     pub(super) fn cursor_test(source: &str) -> CursorTest {
         let mut db = TestDb::new();

crates/red_knot_project/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "ty_project"
+name = "red_knot_project"
 version = "0.0.0"
 edition.workspace = true
 rust-version.workspace = true
@@ -18,9 +18,9 @@ ruff_macros = { workspace = true }
 ruff_python_ast = { workspace = true, features = ["serde"] }
 ruff_python_formatter = { workspace = true, optional = true }
 ruff_text_size = { workspace = true }
-ty_ide = { workspace = true }
-ty_python_semantic = { workspace = true, features = ["serde"] }
-ty_vendored = { workspace = true }
+red_knot_ide = { workspace = true }
+red_knot_python_semantic = { workspace = true, features = ["serde"] }
+red_knot_vendored = { workspace = true }
 
 anyhow = { workspace = true }
 crossbeam = { workspace = true }
@@ -43,13 +43,13 @@ insta = { workspace = true, features = ["redactions", "ron"] }
 
 [features]
 default = ["zstd"]
-deflate = ["ty_vendored/deflate"]
+deflate = ["red_knot_vendored/deflate"]
 schemars = [
     "dep:schemars",
     "ruff_db/schemars",
-    "ty_python_semantic/schemars",
+    "red_knot_python_semantic/schemars",
 ]
-zstd = ["ty_vendored/zstd"]
+zstd = ["red_knot_vendored/zstd"]
 format = ["ruff_python_formatter"]
 
 [lints]