Merge branch 'main' into github-2923

.github/workflows/ci.yaml

@@ -17,6 +17,20 @@ env:
   RUSTUP_MAX_RETRIES: 10
 
 jobs:
+  cargo-build:
+    name: "cargo build"
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: "Install Rust toolchain"
+        run: rustup show
+      - uses: Swatinem/rust-cache@v1
+      - run: cargo build --all
+      - run: ./target/debug/ruff_dev generate-all
+      - run: git diff --quiet README.md || echo "::error file=README.md::This file is outdated. Run 'cargo dev generate-all'."
+      - run: git diff --quiet ruff.schema.json || echo "::error file=ruff.schema.json::This file is outdated. Run 'cargo dev generate-all'."
+      - run: git diff --exit-code -- README.md ruff.schema.json docs
+
   cargo-fmt:
     name: "cargo fmt"
     runs-on: ubuntu-latest
@@ -47,7 +61,7 @@ jobs:
           rustup component add clippy
           rustup target add wasm32-unknown-unknown
       - uses: Swatinem/rust-cache@v1
-      - run: cargo clippy -p ruff_wasm --target wasm32-unknown-unknown --all-features -- -D warnings
+      - run: cargo clippy -p ruff --target wasm32-unknown-unknown --all-features -- -D warnings
 
   cargo-test:
     strategy:
@@ -80,26 +94,6 @@ jobs:
           # Setting RUSTDOCFLAGS because `cargo doc --check` isn't yet implemented (https://github.com/rust-lang/cargo/issues/10025).
           RUSTDOCFLAGS: "-D warnings"
 
-
-  cargo-test-wasm:
-    runs-on: ubuntu-latest
-    name: "cargo test (wasm)"
-    steps:
-      - uses: actions/checkout@v3
-      - name: "Install Rust toolchain"
-        run: rustup target add wasm32-unknown-unknown
-      - uses: actions/setup-node@v3
-        with:
-          node-version: 18
-          cache: "npm"
-          cache-dependency-path: playground/package-lock.json
-      - uses: jetli/wasm-pack-action@v0.4.0
-      - uses: Swatinem/rust-cache@v1
-      - name: "Run wasm-pack"
-        run: |
-          cd crates/ruff_wasm
-          wasm-pack test --node
-
   scripts:
     name: "test scripts"
     runs-on: ubuntu-latest
@@ -115,6 +109,21 @@ jobs:
           ./scripts/add_rule.py --name FirstRule --code TST001 --linter test
       - run: cargo check
 
+  maturin-build:
+    name: "maturin build"
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: "Install Rust toolchain"
+        run: rustup show
+      - uses: Swatinem/rust-cache@v1
+      - uses: actions/setup-python@v4
+        with:
+          python-version: "3.11"
+      - run: pip install maturin
+      - run: maturin build -b bin
+      - run: python scripts/transform_readme.py --target pypi
+
   typos:
     name: "spell check"
     runs-on: ubuntu-latest

.github/workflows/playground.yaml

@@ -28,7 +28,7 @@ jobs:
       - uses: jetli/wasm-pack-action@v0.4.0
       - uses: jetli/wasm-bindgen-action@v0.2.0
       - name: "Run wasm-pack"
-        run: wasm-pack build --target web --out-dir ../../playground/src/pkg crates/ruff_wasm
+        run: wasm-pack build --target web --out-dir ../../playground/src/pkg crates/ruff
       - name: "Install Node dependencies"
         run: npm ci
         working-directory: playground

CONTRIBUTING.md

@@ -104,7 +104,7 @@ At a high level, the steps involved in adding a new lint rule are as follows:
 
 1. Determine a name for the new rule as per our [rule naming convention](#rule-naming-convention).
 1. Create a file for your rule (e.g., `crates/ruff/src/rules/flake8_bugbear/rules/abstract_base_class.rs`).
-1. In that file, define a violation struct. You can grep for `#[violation]` to see examples.
+1. In that file, define a violation struct. You can grep for `define_violation!` to see examples.
 1. Map the violation struct to a rule code in `crates/ruff/src/registry.rs` (e.g., `E402`).
 1. Define the logic for triggering the violation in `crates/ruff/src/checkers/ast.rs` (for AST-based
    checks), `crates/ruff/src/checkers/tokens.rs` (for token-based checks), `crates/ruff/src/checkers/lines.rs`
@@ -115,7 +115,7 @@ At a high level, the steps involved in adding a new lint rule are as follows:
 
 To define the violation, start by creating a dedicated file for your rule under the appropriate
 rule linter (e.g., `crates/ruff/src/rules/flake8_bugbear/rules/abstract_base_class.rs`). That file should
-contain a struct defined via `#[violation]`, along with a function that creates the violation
+contain a struct defined via `define_violation!`, along with a function that creates the violation
 based on any required inputs. (Many of the existing examples live in `crates/ruff/src/violations.rs`,
 but we're looking to place new rules in their own files.)
 

Cargo.lock

@@ -289,9 +289,9 @@ dependencies = [
 
 [[package]]
 name = "clap"
-version = "4.1.8"
+version = "4.1.6"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c3d7ae14b20b94cb02149ed21a86c423859cbe18dc7ed69845cace50e52b40a5"
+checksum = "ec0b0588d44d4d63a87dbd75c136c166bbfd9a86a31cb89e09906521c7d3f5e3"
 dependencies = [
  "bitflags",
  "clap_derive",
@@ -308,7 +308,7 @@ version = "4.1.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "bd125be87bf4c255ebc50de0b7f4d2a6201e8ac3dc86e39c0ad081dc5e7236fe"
 dependencies = [
- "clap 4.1.8",
+ "clap 4.1.6",
 ]
 
 [[package]]
@@ -317,7 +317,7 @@ version = "0.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "4160b4a4f72ef58bd766bad27c09e6ef1cc9d82a22f6a0f55d152985a4a48e31"
 dependencies = [
- "clap 4.1.8",
+ "clap 4.1.6",
  "clap_complete",
  "clap_complete_fig",
 ]
@@ -328,15 +328,15 @@ version = "4.1.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "63a06158a72dbb088f864887b4409fd22600ba379f3cee3040f842234cc5c2d0"
 dependencies = [
- "clap 4.1.8",
+ "clap 4.1.6",
  "clap_complete",
 ]
 
 [[package]]
 name = "clap_derive"
-version = "4.1.8"
+version = "4.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "44bec8e5c9d09e439c4335b1af0abaab56dcf3b94999a936e1bb47b9134288f0"
+checksum = "684a277d672e91966334af371f1a7b5833f9aa00b07c84e92fbce95e00208ce8"
 dependencies = [
  "heck",
  "proc-macro-error",
@@ -427,9 +427,9 @@ dependencies = [
 
 [[package]]
 name = "console_log"
-version = "0.2.1"
+version = "0.2.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "878ad067d4089144a36ee412d665916c665430eb84c0057b9987f424a5d15c03"
+checksum = "501a375961cef1a0d44767200e66e4a559283097e91d0730b1d75dfb2f8a1494"
 dependencies = [
  "log",
  "web-sys",
@@ -554,16 +554,6 @@ dependencies = [
  "typenum",
 ]
 
-[[package]]
-name = "ctor"
-version = "0.1.26"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6d2301688392eb071b0bf1a37be05c469d3cc4dbbd95df672fe28ab021e6a096"
-dependencies = [
- "quote",
- "syn",
-]
-
 [[package]]
 name = "cxx"
 version = "1.0.91"
@@ -608,6 +598,17 @@ dependencies = [
  "syn",
 ]
 
+[[package]]
+name = "derivative"
+version = "2.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "fcc3dd5e9e9c0b295d6e1e4d811fb6f157d5ffd784b8d202fc62eac8035a770b"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "syn",
+]
+
 [[package]]
 name = "diff"
 version = "0.1.13"
@@ -769,10 +770,10 @@ checksum = "0ce7134b9999ecaf8bcd65542e436736ef32ddca1b3e06094cb6ec5755203b80"
 
 [[package]]
 name = "flake8-to-ruff"
-version = "0.0.254"
+version = "0.0.253"
 dependencies = [
  "anyhow",
- "clap 4.1.8",
+ "clap 4.1.6",
  "colored",
  "configparser",
  "once_cell",
@@ -1079,6 +1080,12 @@ version = "1.0.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "fad582f4b9e86b6caa621cabeb0963332d92eea04729ab12892c2533951e6440"
 
+[[package]]
+name = "joinery"
+version = "2.1.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "72167d68f5fce3b8655487b8038691a3c9984ee769590f93f2a631f4ad64e4f5"
+
 [[package]]
 name = "js-sys"
 version = "0.3.61"
@@ -1362,6 +1369,15 @@ dependencies = [
  "version_check",
 ]
 
+[[package]]
+name = "nom8"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ae01545c9c7fc4486ab7debaf2aad7003ac19431791868fb2e8066df97fad2f8"
+dependencies = [
+ "memchr",
+]
+
 [[package]]
 name = "notify"
 version = "5.1.0"
@@ -1389,6 +1405,7 @@ dependencies = [
  "autocfg",
  "num-integer",
  "num-traits",
+ "serde",
 ]
 
 [[package]]
@@ -1398,6 +1415,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "02e0d21255c828d6f128a1e41534206671e8c3ea0c62f32291e808dc82cff17d"
 dependencies = [
  "num-traits",
+ "serde",
 ]
 
 [[package]]
@@ -1429,6 +1447,27 @@ dependencies = [
  "libc",
 ]
 
+[[package]]
+name = "num_enum"
+version = "0.5.10"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "3e0072973714303aa6e3631c7e8e777970cf4bdd25dc4932e41031027b8bcc4e"
+dependencies = [
+ "num_enum_derive",
+]
+
+[[package]]
+name = "num_enum_derive"
+version = "0.5.10"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0629cbd6b897944899b1f10496d9c4a7ac5878d45fd61bc22e9e79bfbbc29597"
+dependencies = [
+ "proc-macro-crate",
+ "proc-macro2",
+ "quote",
+ "syn",
+]
+
 [[package]]
 name = "once_cell"
 version = "1.17.1"
@@ -1447,15 +1486,6 @@ version = "6.4.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "9b7820b9daea5457c9f21c69448905d723fbd21136ccf521748f23fd49e723ee"
 
-[[package]]
-name = "output_vt100"
-version = "0.1.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "628223faebab4e3e40667ee0b2336d34a5b960ff60ea743ddfdbcf7770bcfb66"
-dependencies = [
- "winapi",
-]
-
 [[package]]
 name = "parking_lot"
 version = "0.12.1"
@@ -1728,15 +1758,13 @@ dependencies = [
 ]
 
 [[package]]
-name = "pretty_assertions"
+name = "proc-macro-crate"
 version = "1.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a25e9bcb20aa780fd0bb16b72403a9064d6b3f22f026946029acb941a50af755"
+checksum = "66618389e4ec1c7afe67d51a9bf34ff9236480f8d51e7489b7d5ab0303c13f34"
 dependencies = [
- "ctor",
- "diff",
- "output_vt100",
- "yansi",
+ "once_cell",
+ "toml_edit",
 ]
 
 [[package]]
@@ -1842,9 +1870,9 @@ dependencies = [
 
 [[package]]
 name = "rayon"
-version = "1.7.0"
+version = "1.6.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1d2df5196e37bcc87abebc0053e20787d73847bb33134a69841207dd0a47f03b"
+checksum = "6db3a213adf02b3bcfd2d3846bb41cb22857d131789e01df434fb7e7bc0759b7"
 dependencies = [
  "either",
  "rayon-core",
@@ -1852,9 +1880,9 @@ dependencies = [
 
 [[package]]
 name = "rayon-core"
-version = "1.11.0"
+version = "1.10.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4b8f95bd6966f5c87776639160a66bd8ab9895d9d4ab01ddba9fc60661aebe8d"
+checksum = "356a0625f1954f730c0201cdab48611198dc6ce21f4acff55089b5a78e6e835b"
 dependencies = [
  "crossbeam-channel",
  "crossbeam-deque",
@@ -1953,17 +1981,22 @@ dependencies = [
 
 [[package]]
 name = "ruff"
-version = "0.0.254"
+version = "0.0.253"
 dependencies = [
  "anyhow",
  "bisection",
  "bitflags",
+ "cfg-if",
  "chrono",
- "clap 4.1.8",
+ "clap 4.1.6",
  "colored",
+ "console_error_panic_hook",
+ "console_log",
  "criterion",
+ "derivative",
  "dirs",
  "fern",
+ "getrandom",
  "glob",
  "globset",
  "ignore",
@@ -1971,6 +2004,7 @@ dependencies = [
  "insta",
  "is-macro",
  "itertools",
+ "js-sys",
  "libcst",
  "log",
  "natord",
@@ -1981,11 +2015,8 @@ dependencies = [
  "path-absolutize",
  "regex",
  "result-like",
- "ruff_cache",
- "ruff_diagnostics",
  "ruff_macros",
- "ruff_python_ast",
- "ruff_python_stdlib",
+ "ruff_python",
  "ruff_rustpython",
  "rustc-hash",
  "rustpython-common",
@@ -1993,6 +2024,7 @@ dependencies = [
  "schemars",
  "semver",
  "serde",
+ "serde-wasm-bindgen",
  "shellexpand",
  "smallvec",
  "strum",
@@ -2000,23 +2032,15 @@ dependencies = [
  "test-case",
  "textwrap",
  "thiserror",
+ "titlecase",
  "toml",
-]
-
-[[package]]
-name = "ruff_cache"
-version = "0.0.0"
-dependencies = [
- "filetime",
- "globset",
- "itertools",
- "regex",
- "ruff_macros",
+ "wasm-bindgen",
+ "wasm-bindgen-test",
 ]
 
 [[package]]
 name = "ruff_cli"
-version = "0.0.254"
+version = "0.0.253"
 dependencies = [
  "annotate-snippets 0.9.1",
  "anyhow",
@@ -2026,7 +2050,7 @@ dependencies = [
  "bitflags",
  "cachedir",
  "chrono",
- "clap 4.1.8",
+ "clap 4.1.6",
  "clap_complete_command",
  "clearscreen",
  "colored",
@@ -2042,8 +2066,6 @@ dependencies = [
  "rayon",
  "regex",
  "ruff",
- "ruff_cache",
- "ruff_diagnostics",
  "rustc-hash",
  "serde",
  "serde_json",
@@ -2061,15 +2083,13 @@ name = "ruff_dev"
 version = "0.0.0"
 dependencies = [
  "anyhow",
- "clap 4.1.8",
+ "clap 4.1.6",
  "itertools",
  "libcst",
  "once_cell",
- "pretty_assertions",
  "regex",
  "ruff",
  "ruff_cli",
- "ruff_diagnostics",
  "rustpython-common",
  "rustpython-parser",
  "schemars",
@@ -2079,15 +2099,6 @@ dependencies = [
  "textwrap",
 ]
 
-[[package]]
-name = "ruff_diagnostics"
-version = "0.0.0"
-dependencies = [
- "ruff_python_ast",
- "rustpython-parser",
- "serde",
-]
-
 [[package]]
 name = "ruff_formatter"
 version = "0.0.0"
@@ -2114,25 +2125,12 @@ dependencies = [
 ]
 
 [[package]]
-name = "ruff_python_ast"
+name = "ruff_python"
 version = "0.0.0"
 dependencies = [
- "anyhow",
- "bitflags",
- "is-macro",
- "itertools",
- "log",
- "nohash-hasher",
- "num-bigint",
- "num-traits",
  "once_cell",
  "regex",
- "ruff_python_stdlib",
- "ruff_rustpython",
  "rustc-hash",
- "rustpython-common",
- "rustpython-parser",
- "smallvec",
 ]
 
 [[package]]
@@ -2140,14 +2138,13 @@ name = "ruff_python_formatter"
 version = "0.0.0"
 dependencies = [
  "anyhow",
- "clap 4.1.8",
+ "clap 4.1.6",
  "insta",
  "is-macro",
  "itertools",
  "once_cell",
  "ruff_formatter",
- "ruff_python_ast",
- "ruff_python_stdlib",
+ "ruff_python",
  "ruff_rustpython",
  "ruff_testing_macros",
  "ruff_text_size",
@@ -2158,15 +2155,6 @@ dependencies = [
  "test-case",
 ]
 
-[[package]]
-name = "ruff_python_stdlib"
-version = "0.0.0"
-dependencies = [
- "once_cell",
- "regex",
- "rustc-hash",
-]
-
 [[package]]
 name = "ruff_rustpython"
 version = "0.0.0"
@@ -2182,6 +2170,7 @@ name = "ruff_testing_macros"
 version = "0.0.0"
 dependencies = [
  "glob",
+ "proc-macro-error",
  "proc-macro2",
  "quote",
  "syn",
@@ -2197,25 +2186,6 @@ dependencies = [
  "static_assertions",
 ]
 
-[[package]]
-name = "ruff_wasm"
-version = "0.0.0"
-dependencies = [
- "console_error_panic_hook",
- "console_log",
- "getrandom",
- "js-sys",
- "log",
- "ruff",
- "ruff_python_ast",
- "ruff_rustpython",
- "rustpython-parser",
- "serde",
- "serde-wasm-bindgen",
- "wasm-bindgen",
- "wasm-bindgen-test",
-]
-
 [[package]]
 name = "rust-stemmers"
 version = "1.2.0"
@@ -2261,7 +2231,7 @@ dependencies = [
 [[package]]
 name = "rustpython-ast"
 version = "0.2.0"
-source = "git+https://github.com/RustPython/RustPython.git?rev=1871a1632e310985414211222f5bf8069678892f#1871a1632e310985414211222f5bf8069678892f"
+source = "git+https://github.com/RustPython/RustPython.git?rev=aa8336ee94492b52458ed8e1517238e5c6c2914c#aa8336ee94492b52458ed8e1517238e5c6c2914c"
 dependencies = [
  "num-bigint",
  "rustpython-compiler-core",
@@ -2270,7 +2240,7 @@ dependencies = [
 [[package]]
 name = "rustpython-common"
 version = "0.2.0"
-source = "git+https://github.com/RustPython/RustPython.git?rev=1871a1632e310985414211222f5bf8069678892f#1871a1632e310985414211222f5bf8069678892f"
+source = "git+https://github.com/RustPython/RustPython.git?rev=aa8336ee94492b52458ed8e1517238e5c6c2914c#aa8336ee94492b52458ed8e1517238e5c6c2914c"
 dependencies = [
  "ascii",
  "bitflags",
@@ -2295,21 +2265,24 @@ dependencies = [
 [[package]]
 name = "rustpython-compiler-core"
 version = "0.2.0"
-source = "git+https://github.com/RustPython/RustPython.git?rev=1871a1632e310985414211222f5bf8069678892f#1871a1632e310985414211222f5bf8069678892f"
+source = "git+https://github.com/RustPython/RustPython.git?rev=aa8336ee94492b52458ed8e1517238e5c6c2914c#aa8336ee94492b52458ed8e1517238e5c6c2914c"
 dependencies = [
+ "bincode",
  "bitflags",
  "bstr 0.2.17",
  "itertools",
  "lz4_flex",
  "num-bigint",
  "num-complex",
+ "num_enum",
  "serde",
+ "thiserror",
 ]
 
 [[package]]
 name = "rustpython-parser"
 version = "0.2.0"
-source = "git+https://github.com/RustPython/RustPython.git?rev=1871a1632e310985414211222f5bf8069678892f#1871a1632e310985414211222f5bf8069678892f"
+source = "git+https://github.com/RustPython/RustPython.git?rev=aa8336ee94492b52458ed8e1517238e5c6c2914c#aa8336ee94492b52458ed8e1517238e5c6c2914c"
 dependencies = [
  "ahash",
  "anyhow",
@@ -2324,7 +2297,7 @@ dependencies = [
  "rustc-hash",
  "rustpython-ast",
  "rustpython-compiler-core",
- "serde",
+ "thiserror",
  "tiny-keccak",
  "unic-emoji-char",
  "unic-ucd-ident",
@@ -2354,9 +2327,9 @@ dependencies = [
 
 [[package]]
 name = "schemars"
-version = "0.8.12"
+version = "0.8.11"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "02c613288622e5f0c3fdc5dbd4db1c5fbe752746b1d1a56a0630b78fd00de44f"
+checksum = "2a5fb6c61f29e723026dc8e923d94c694313212abbecbbe5f55a7748eec5b307"
 dependencies = [
  "dyn-clone",
  "schemars_derive",
@@ -2366,9 +2339,9 @@ dependencies = [
 
 [[package]]
 name = "schemars_derive"
-version = "0.8.12"
+version = "0.8.11"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "109da1e6b197438deb6db99952990c7f959572794b80ff93707d55a232545e7c"
+checksum = "f188d036977451159430f3b8dc82ec76364a42b7e289c2b18a9a18f4470058e9"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2421,9 +2394,9 @@ dependencies = [
 
 [[package]]
 name = "serde-wasm-bindgen"
-version = "0.5.0"
+version = "0.4.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f3b143e2833c57ab9ad3ea280d21fd34e285a42837aeb0ee301f4f41890fa00e"
+checksum = "e3b4c031cd0d9014307d82b8abf653c0290fbdaeb4c02d00c63cf52f728628bf"
 dependencies = [
  "js-sys",
  "serde",
@@ -2580,9 +2553,9 @@ dependencies = [
 
 [[package]]
 name = "syn"
-version = "1.0.109"
+version = "1.0.108"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "72b64191b275b66ffe2469e8af2c1cfe3bafa67b529ead792a6d0160888b4237"
+checksum = "d56e159d99e6c2b93995d171050271edb50ecc5288fbc7cc17de8fdce4e58c14"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -2653,18 +2626,18 @@ checksum = "95059e91184749cb66be6dc994f67f182b6d897cb3df74a5bf66b5e709295fd8"
 
 [[package]]
 name = "test-case"
-version = "3.0.0"
+version = "2.2.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "679b019fb241da62cc449b33b224d19ebe1c6767b495569765115dd7f7f9fba4"
+checksum = "21d6cf5a7dffb3f9dceec8e6b8ca528d9bd71d36c9f074defb548ce161f598c0"
 dependencies = [
  "test-case-macros",
 ]
 
 [[package]]
-name = "test-case-core"
-version = "3.0.0"
+name = "test-case-macros"
+version = "2.2.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "72dc21b5887f4032c4656502d085dc28f2afbb686f25f216472bb0526f4b1b88"
+checksum = "e45b7bf6e19353ddd832745c8fcf77a17a93171df7151187f26623f2b75b5b26"
 dependencies = [
  "cfg-if",
  "proc-macro-error",
@@ -2673,19 +2646,6 @@ dependencies = [
  "syn",
 ]
 
-[[package]]
-name = "test-case-macros"
-version = "3.0.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f3786898e0be151a96f730fd529b0e8a10f5990fa2a7ea14e37ca27613c05190"
-dependencies = [
- "proc-macro-error",
- "proc-macro2",
- "quote",
- "syn",
- "test-case-core",
-]
-
 [[package]]
 name = "textwrap"
 version = "0.16.0"
@@ -2793,10 +2753,21 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "1f3ccbac311fea05f86f61904b462b55fb3df8837a366dfc601a0161d0532f20"
 
 [[package]]
-name = "toml"
-version = "0.7.2"
+name = "titlecase"
+version = "2.2.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f7afcae9e3f0fe2c370fd4657108972cbb2fa9db1b9f84849cefd80741b01cb6"
+checksum = "38397a8cdb017cfeb48bf6c154d6de975ac69ffeed35980fde199d2ee0842042"
+dependencies = [
+ "joinery",
+ "lazy_static",
+ "regex",
+]
+
+[[package]]
+name = "toml"
+version = "0.6.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4fb9d890e4dc9298b70f740f615f2e05b9db37dce531f6b24fb77ac993f9f217"
 dependencies = [
  "serde",
  "serde_spanned",
@@ -2806,24 +2777,24 @@ dependencies = [
 
 [[package]]
 name = "toml_datetime"
-version = "0.6.1"
+version = "0.5.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3ab8ed2edee10b50132aed5f331333428b011c99402b5a534154ed15746f9622"
+checksum = "4553f467ac8e3d374bc9a177a26801e5d0f9b211aa1673fb137a403afd1c9cf5"
 dependencies = [
  "serde",
 ]
 
 [[package]]
 name = "toml_edit"
-version = "0.19.4"
+version = "0.18.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9a1eb0622d28f4b9c90adc4ea4b2b46b47663fde9ac5fafcb14a1369d5508825"
+checksum = "56c59d8dd7d0dcbc6428bf7aa2f0e823e26e43b3c9aca15bbc9475d23e5fa12b"
 dependencies = [
  "indexmap",
+ "nom8",
  "serde",
  "serde_spanned",
  "toml_datetime",
- "winnow",
 ]
 
 [[package]]
@@ -2978,7 +2949,7 @@ checksum = "f962df74c8c05a667b5ee8bcf162993134c104e96440b663c8daa176dc772d8c"
 [[package]]
 name = "unicode_names2"
 version = "0.6.0"
-source = "git+https://github.com/youknowone/unicode_names2.git?rev=4ce16aa85cbcdd9cc830410f1a72ef9a235f2fde#4ce16aa85cbcdd9cc830410f1a72ef9a235f2fde"
+source = "git+https://github.com/youknowone/unicode_names2.git?tag=v0.6.0+character-alias#4ce16aa85cbcdd9cc830410f1a72ef9a235f2fde"
 dependencies = [
  "phf",
 ]
@@ -3314,15 +3285,6 @@ version = "0.42.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "447660ad36a13288b1db4d4248e857b510e8c3a225c822ba4fb748c0aafecffd"
 
-[[package]]
-name = "winnow"
-version = "0.3.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "faf09497b8f8b5ac5d3bb4d05c0a99be20f26fd3d5f2db7b0716e946d5103658"
-dependencies = [
- "memchr",
-]
-
 [[package]]
 name = "yaml-rust"
 version = "0.4.5"
@@ -3332,12 +3294,6 @@ dependencies = [
  "linked-hash-map",
 ]
 
-[[package]]
-name = "yansi"
-version = "0.5.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "09041cd90cf85f7f8b2df60c646f853b7f535ce68f85244eb6731cf89fa498ec"
-
 [[package]]
 name = "yansi-term"
 version = "0.1.2"

Cargo.toml

@@ -3,45 +3,25 @@ members = ["crates/*"]
 
 [workspace.package]
 edition = "2021"
-rust-version = "1.67"
+rust-version = "1.67.0"
 
 [workspace.dependencies]
-anyhow = { version = "1.0.69" }
-bitflags = { version = "1.3.2" }
-chrono = { version = "0.4.23", default-features = false, features = ["clock"] }
-clap = { version = "4.1.8", features = ["derive"] }
-colored = { version = "2.0.0" }
-filetime = { version = "0.2.20" }
-glob = { version = "0.3.1" }
-globset = { version = "0.4.10" }
-ignore = { version = "0.4.20" }
-insta = { version = "1.28.0" }
-is-macro = { version = "0.2.2" }
+anyhow = { version = "1.0.66" }
+clap = { version = "4.0.1", features = ["derive"] }
 itertools = { version = "0.10.5" }
+is-macro = { version = "0.2.2" }
 libcst = { git = "https://github.com/charliermarsh/LibCST", rev = "80e4c1399f95e5beb532fdd1e209ad2dbb470438" }
-log = { version = "0.4.17" }
-once_cell = { version = "1.17.1" }
-path-absolutize = { version = "3.0.14" }
-proc-macro2 = { version = "1.0.51" }
-quote = { version = "1.0.23" }
-regex = { version = "1.7.1" }
+once_cell = { version = "1.16.0" }
+regex = { version = "1.6.0" }
 rustc-hash = { version = "1.1.0" }
-rustpython-common = { git = "https://github.com/RustPython/RustPython.git", rev = "1871a1632e310985414211222f5bf8069678892f" }
-rustpython-parser = { features = [
-  "lalrpop",
-  "serde",
-], git = "https://github.com/RustPython/RustPython.git", rev = "1871a1632e310985414211222f5bf8069678892f" }
-schemars = { version = "0.8.12" }
-serde = { version = "1.0.152", features = ["derive"] }
-serde_json = { version = "1.0.93" }
-shellexpand = { version = "3.0.0" }
-similar = { version = "2.2.1" }
+rustpython-common = { git = "https://github.com/RustPython/RustPython.git", rev = "aa8336ee94492b52458ed8e1517238e5c6c2914c" }
+rustpython-parser = { features = ["lalrpop"], git = "https://github.com/RustPython/RustPython.git", rev = "aa8336ee94492b52458ed8e1517238e5c6c2914c" }
+schemars = { version = "0.8.11" }
+serde = { version = "1.0.147", features = ["derive"] }
+serde_json = { version = "1.0.87" }
 strum = { version = "0.24.1", features = ["strum_macros"] }
 strum_macros = { version = "0.24.3" }
-syn = { version = "1.0.109" }
-test-case = { version = "3.0.0" }
-textwrap = { version = "0.16.0" }
-toml = { version = "0.7.2" }
+toml = { version = "0.6.0" }
 
 [profile.release]
 panic = "abort"

README.md

@@ -137,7 +137,7 @@ Ruff can also be used as a [pre-commit](https://pre-commit.com) hook:
 ```yaml
 - repo: https://github.com/charliermarsh/ruff-pre-commit
   # Ruff version.
-  rev: 'v0.0.254'
+  rev: 'v0.0.253'
   hooks:
     - id: ruff
 ```

crates/flake8_to_ruff/Cargo.toml

@@ -1,18 +1,17 @@
 [package]
 name = "flake8-to-ruff"
-version = "0.0.254"
+version = "0.0.253"
 edition = { workspace = true }
 rust-version = { workspace = true }
 
 [dependencies]
-ruff = { path = "../ruff", default-features = false }
-
 anyhow = { workspace = true }
 clap = { workspace = true }
-colored = { workspace = true }
+colored = { version = "2.0.0" }
 configparser = { version = "3.0.2" }
 once_cell = { workspace = true }
 regex = { workspace = true }
+ruff = { path = "../ruff", default-features = false }
 rustc-hash = { workspace = true }
 serde = { workspace = true }
 serde_json = { workspace = true }

crates/ruff/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "ruff"
-version = "0.0.254"
+version = "0.0.253"
 authors = ["Charlie Marsh <charlie.r.marsh@gmail.com>"]
 edition = { workspace = true }
 rust-version = { workspace = true }
@@ -16,59 +16,67 @@ crate-type = ["cdylib", "rlib"]
 doctest = false
 
 [dependencies]
-ruff_cache = { path = "../ruff_cache" }
-ruff_diagnostics = { path = "../ruff_diagnostics", features = ["serde"] }
 ruff_macros = { path = "../ruff_macros" }
-ruff_python_ast = { path = "../ruff_python_ast" }
-ruff_python_stdlib = { path = "../ruff_python_stdlib" }
+ruff_python = { path = "../ruff_python" }
 ruff_rustpython = { path = "../ruff_rustpython" }
 
 anyhow = { workspace = true }
 bisection = { version = "0.1.0" }
-bitflags = { workspace = true }
-chrono = { workspace = true }
+bitflags = { version = "1.3.2" }
+cfg-if = { version = "1.0.0" }
+chrono = { version = "0.4.21", default-features = false, features = ["clock"] }
 clap = { workspace = true, features = ["derive", "env", "string"] }
-colored = { workspace = true }
+colored = { version = "2.0.0" }
+derivative = { version = "2.2.0" }
 dirs = { version = "4.0.0" }
 fern = { version = "0.6.1" }
-glob = { workspace = true }
-globset = { workspace = true }
-ignore = { workspace = true }
-imperative = { version = "1.0.4" }
+glob = { version = "0.3.0" }
+globset = { version = "0.4.9" }
+ignore = { version = "0.4.18" }
+imperative = { version = "1.0.3" }
 is-macro = { workspace = true }
 itertools = { workspace = true }
 libcst = { workspace = true }
-log = { workspace = true }
+log = { version = "0.4.17" }
 natord = { version = "1.0.9" }
 nohash-hasher = { version = "0.2.0" }
 num-bigint = { version = "0.4.3" }
-num-traits = { version = "0.2.15" }
+num-traits = "0.2.15"
 once_cell = { workspace = true }
-path-absolutize = { workspace = true, features = [
-  "once_cell_cache",
-  "use_unix_paths_on_wasm",
-] }
+path-absolutize = { version = "3.0.14", features = ["once_cell_cache", "use_unix_paths_on_wasm"] }
 regex = { workspace = true }
-result-like = { version = "0.4.6" }
+result-like = "0.4.6"
 rustc-hash = { workspace = true }
 rustpython-common = { workspace = true }
 rustpython-parser = { workspace = true }
 schemars = { workspace = true }
 semver = { version = "1.0.16" }
 serde = { workspace = true }
-shellexpand = { workspace = true }
+shellexpand = { version = "3.0.0" }
 smallvec = { version = "1.10.0" }
 strum = { workspace = true }
 strum_macros = { workspace = true }
-textwrap = { workspace = true }
-thiserror = { version = "1.0.38" }
+textwrap = { version = "0.16.0" }
+thiserror = { version = "1.0" }
+titlecase = { version = "2.2.1" }
 toml = { workspace = true }
 
-[dev-dependencies]
-insta = { workspace = true, features = ["yaml", "redactions"] }
-test-case = { workspace = true }
-criterion = { version = "0.4.0" }
+# https://docs.rs/getrandom/0.2.7/getrandom/#webassembly-support
+[target.'cfg(all(target_family = "wasm", target_os = "unknown"))'.dependencies]
+getrandom = { version = "0.2.7", features = ["js"] }
+console_error_panic_hook = { version = "0.1.7" }
+console_log = { version = "0.2.0" }
+serde-wasm-bindgen = { version = "0.4" }
+js-sys = { version = "0.3.60" }
+wasm-bindgen = { version = "0.2.83" }
 
+[dev-dependencies]
+insta = { version = "1.19.0", features = ["yaml", "redactions"] }
+test-case = { version = "2.2.2" }
+wasm-bindgen-test = { version = "0.3.33" }
+
+[target.'cfg(not(target_family = "wasm"))'.dev-dependencies]
+criterion = { version = "0.4.0" }
 
 [features]
 default = []

crates/ruff/resources/test/fixtures/flake8_bugbear/B030.py

@@ -1,47 +0,0 @@
-"""
-Should emit:
-B030:
- - line 12, column 8
- - line 17, column 9
- - line 22, column 21
- - line 27, column 37
-"""
-
-try:
-    pass
-except 1:  # error
-    pass
-
-try:
-    pass
-except (1, ValueError):  # error
-    pass
-
-try:
-    pass
-except (ValueError, (RuntimeError, (KeyError, TypeError))):  # error
-    pass
-
-try:
-    pass
-except (ValueError, *(RuntimeError, (KeyError, TypeError))):  # error
-    pass
-
-
-try:
-    pass
-except (ValueError, *(RuntimeError, TypeError)):  # ok
-    pass
-
-try:
-    pass
-except (ValueError, *[RuntimeError, *(TypeError,)]):  # ok
-    pass
-
-def what_to_catch():
-    return ...
-
-try:
-    pass
-except what_to_catch():  # ok
-    pass

crates/ruff/resources/test/fixtures/flake8_pie/PIE802.py

@@ -8,9 +8,3 @@ any({x.id for x in bar})
 # PIE 802
 any([x.id for x in bar])
 all([x.id for x in bar])
-any(  # first comment
-    [x.id for x in bar],  # second comment
-)  # third comment
-all(  # first comment
-    [x.id for x in bar],  # second comment
-)  # third comment

crates/ruff/resources/test/fixtures/flake8_pyi/PYI033.py

@@ -1,33 +0,0 @@
-# From https://github.com/PyCQA/flake8-pyi/blob/4212bec43dbc4020a59b90e2957c9488575e57ba/tests/type_comments.pyi
-
-from collections.abc import Sequence
-from typing import TypeAlias
-
-A: TypeAlias = None  # type: int  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-B: TypeAlias = None  # type: str  # And here's an extra comment about why it's that type  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-C: TypeAlias = None  #type: int  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-D: TypeAlias = None  #      type: int  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-E: TypeAlias = None#    type: int  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-F: TypeAlias = None#type:int  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-
-def func(
-    arg1,  # type: dict[str, int]  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-    arg2  # type: Sequence[bytes]  # And here's some more info about this arg  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-): ...
-
-class Foo:
-    Attr: TypeAlias = None  # type: set[str]  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-
-G: TypeAlias = None  # type: ignore
-H: TypeAlias = None  # type: ignore[attr-defined]
-I: TypeAlias = None  #type: ignore
-J: TypeAlias = None  #      type: ignore
-K: TypeAlias = None#    type: ignore
-L: TypeAlias = None#type:ignore
-
-# Whole line commented out  # type: int
-M: TypeAlias = None  # type: can't parse me!
-
-class Bar:
-    N: TypeAlias = None  # type: can't parse me either!
-    # This whole line is commented out and indented # type: str

crates/ruff/resources/test/fixtures/flake8_pyi/PYI033.pyi

@@ -1,33 +0,0 @@
-# From https://github.com/PyCQA/flake8-pyi/blob/4212bec43dbc4020a59b90e2957c9488575e57ba/tests/type_comments.pyi
-
-from collections.abc import Sequence
-from typing import TypeAlias
-
-A: TypeAlias = None  # type: int  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-B: TypeAlias = None  # type: str  # And here's an extra comment about why it's that type  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-C: TypeAlias = None  #type: int  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-D: TypeAlias = None  #      type: int  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-E: TypeAlias = None#    type: int  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-F: TypeAlias = None#type:int  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-
-def func(
-    arg1,  # type: dict[str, int]  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-    arg2  # type: Sequence[bytes]  # And here's some more info about this arg  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-): ...
-
-class Foo:
-    Attr: TypeAlias = None  # type: set[str]  # Y033 Do not use type comments in stubs (e.g. use "x: int" instead of "x = ... # type: int")
-
-G: TypeAlias = None  # type: ignore
-H: TypeAlias = None  # type: ignore[attr-defined]
-I: TypeAlias = None  #type: ignore
-J: TypeAlias = None  #      type: ignore
-K: TypeAlias = None#    type: ignore
-L: TypeAlias = None#type:ignore
-
-# Whole line commented out  # type: int
-M: TypeAlias = None  # type: can't parse me!
-
-class Bar:
-    N: TypeAlias = None  # type: can't parse me either!
-    # This whole line is commented out and indented # type: str

crates/ruff/resources/test/fixtures/flake8_return/RET503.py

@@ -293,30 +293,3 @@ def x(y):
 
 def foo(baz: str) -> str:
     return baz
-
-
-def end_of_statement():
-    def example():
-        if True:
-            return ""
-
-
-    def example():
-        if True:
-            return ""
-
-
-    def example():
-        if True:
-            return ""  # type: ignore
-
-
-    def example():
-        if True:
-            return ""  ;
-
-
-    def example():
-        if True:
-            return "" \
-                ;  # type: ignore

crates/ruff/resources/test/fixtures/flake8_return/RET504.py

@@ -6,6 +6,22 @@ def x():
     return a  # error
 
 
+def x():
+    a = 1
+    print(a)
+    a = 2
+    return a  # error
+
+
+def x():
+    a = 1
+    if True:
+        return a  # error
+    a = 2
+    print(a)
+    return a
+
+
 # Can be refactored false positives
 # https://github.com/afonasev/flake8-return/issues/47#issuecomment-1122571066
 def get_bar_if_exists(obj):
@@ -149,6 +165,44 @@ def my_func():
     return foo
 
 
+# Refactored incorrect false positives
+# See test cases above marked: "Can be refactored false positives"
+# https://github.com/afonasev/flake8-return/issues/47#issuecomment-1122571066
+def get_bar_if_exists(obj):
+    if hasattr(obj, "bar"):
+        return str(obj.bar)
+    return ""
+
+
+# https://github.com/afonasev/flake8-return/issues/47#issue-641117366
+def x():
+    formatted = _USER_AGENT_FORMATTER.format(format_string, **values)
+    # clean up after any blank components
+    return formatted.replace("()", "").replace("  ", " ").strip()
+
+
+# https://github.com/afonasev/flake8-return/issues/47#issue-641117366
+def user_agent_username(username=None):
+
+    if not username:
+        return ""
+
+    username = username.replace(" ", "_")  # Avoid spaces or %20.
+    try:
+        username.encode("ascii")  # just test,
+        # but not actually use it
+    except UnicodeEncodeError:
+        username = quote(username.encode("utf-8"))
+    else:
+        # % is legal in the default $wgLegalTitleChars
+        # This is so that ops know the real pywikibot will not
+        # allow a useragent in the username to allow through a
+        # hand-coded percent-encoded value.
+        if "%" in username:
+            username = quote(username)
+    return username
+
+
 # https://github.com/afonasev/flake8-return/issues/116#issue-1367575481
 def no_exception_loop():
     success = False
@@ -206,44 +260,3 @@ def nonlocal_assignment():
         nonlocal X
         X = 1
         return X
-
-
-def decorator() -> Flask:
-    app = Flask(__name__)
-
-    @app.route('/hello')
-    def hello() -> str:
-        """Hello endpoint."""
-        return 'Hello, World!'
-
-    return app
-
-
-def default():
-    y = 1
-
-    def f(x = y) -> X:
-        return x
-
-    return y
-
-
-def get_queryset(option_1, option_2):
-    queryset: Any = None
-    queryset = queryset.filter(a=1)
-    if option_1:
-        queryset = queryset.annotate(b=Value(2))
-    if option_2:
-        queryset = queryset.filter(c=3)
-    return queryset
-
-
-def get_queryset():
-    queryset = Model.filter(a=1)
-    queryset = queryset.filter(c=3)
-    return queryset
-
-
-def get_queryset():
-    queryset = Model.filter(a=1)
-    return queryset  # error

crates/ruff/resources/test/fixtures/flake8_simplify/SIM300.py

@@ -6,8 +6,6 @@
 "yoda" <= compare  # SIM300
 "yoda" < compare  # SIM300
 42 > age  # SIM300
--42 > age  # SIM300
-+42 > age  # SIM300
 YODA == age  # SIM300
 YODA > age  # SIM300
 YODA >= age  # SIM300

crates/ruff/resources/test/fixtures/flake8_tidy_imports/TID252/my_package/sublib/api/application.py

@@ -1,8 +1,7 @@
 from typing import TYPE_CHECKING, Any, ClassVar
-
+ 
 import attrs
 
-from ....import unknown
 from ..protocol import commands, definitions, responses
 from ..server import example
 from .. import server

crates/ruff/resources/test/fixtures/flake8_type_checking/TCH004_14.pyi

@@ -1,3 +0,0 @@
-from typing import Tuple
-
-x: Tuple

crates/ruff/resources/test/fixtures/flake8_type_checking/runtime_evaluated_base_classes_1.py

@@ -1,38 +0,0 @@
-from __future__ import annotations
-
-import pathlib
-from typing import TYPE_CHECKING
-
-import pydantic
-from pydantic import BaseModel
-
-if TYPE_CHECKING:
-    import datetime  # TCH004
-    from array import array  # TCH004
-
-    import pandas  # TCH004
-    import pyproj
-
-
-class A(pydantic.BaseModel):
-    x: datetime.datetime
-
-
-class B(BaseModel):
-    x: pandas.DataFrame
-
-
-class C(BaseModel):
-    x: pathlib.Path
-
-
-class E:
-    pass
-
-
-class F(E):
-    x: pyproj.Transformer
-
-
-class G(BaseModel):
-    x: array

crates/ruff/resources/test/fixtures/flake8_type_checking/runtime_evaluated_base_classes_2.py

@@ -1,28 +0,0 @@
-from __future__ import annotations
-
-import geopandas as gpd  # TCH002
-import pydantic
-import pyproj  # TCH002
-from pydantic import BaseModel
-
-import numpy
-
-
-class A(BaseModel):
-    x: pandas.DataFrame
-
-
-class B(pydantic.BaseModel):
-    x: numpy.ndarray
-
-
-class C:
-    pass
-
-
-class D(C):
-    x: pyproj.Transformer
-
-
-class E(C):
-    x: gpd.GeoDataFrame

crates/ruff/resources/test/fixtures/flake8_type_checking/runtime_evaluated_base_classes_3.py

@@ -1,24 +0,0 @@
-from __future__ import annotations
-
-import datetime
-import pathlib
-from uuid import UUID  # TCH003
-
-import pydantic
-from pydantic import BaseModel
-
-
-class A(pydantic.BaseModel):
-    x: datetime.datetime
-
-
-class B(BaseModel):
-    x: pathlib.Path
-
-
-class C:
-    pass
-
-
-class D(C):
-    x: UUID

crates/ruff/resources/test/fixtures/flake8_type_checking/runtime_evaluated_decorators_1.py

@@ -1,46 +0,0 @@
-from __future__ import annotations
-
-import pathlib
-from typing import TYPE_CHECKING
-
-import attrs
-from attrs import frozen
-
-import numpy
-
-if TYPE_CHECKING:
-    import datetime  # TCH004
-    from array import array  # TCH004
-
-    import pandas  # TCH004
-    import pyproj
-
-
-@attrs.define(auto_attribs=True)
-class A:
-    x: datetime.datetime
-
-
-@attrs.define
-class B:
-    x: pandas.DataFrame
-
-
-@frozen(auto_attribs=True)
-class C:
-    x: pathlib.Path
-
-
-@frozen
-class D:
-    x: array
-
-
-@dataclass
-class E:
-    x: pyproj.Transformer
-
-
-@attrs.define
-class F:
-    x: numpy.ndarray

crates/ruff/resources/test/fixtures/flake8_type_checking/runtime_evaluated_decorators_2.py

@@ -1,30 +0,0 @@
-from __future__ import annotations
-
-from dataclasses import dataclass
-
-import attrs
-import pandas
-import pyproj
-from attrs import frozen
-
-import numpy  # TCH002
-
-
-@attrs.define(auto_attribs=True)
-class A:
-    x: pyproj.Transformer
-
-
-@attrs.define
-class B:
-    x: pandas.DataFrame
-
-
-@frozen
-class C:
-    x: pandas.DataFrame
-
-
-@dataclass
-class D:
-    x: numpy.ndarray

crates/ruff/resources/test/fixtures/flake8_type_checking/runtime_evaluated_decorators_3.py

@@ -1,24 +0,0 @@
-from __future__ import annotations
-
-import datetime
-from array import array
-from dataclasses import dataclass
-from uuid import UUID  # TCH003
-
-import attrs
-from attrs import frozen
-
-
-@attrs.define(auto_attribs=True)
-class A:
-    x: datetime.datetime
-
-
-@frozen
-class B:
-    x: array
-
-
-@dataclass
-class C:
-    x: UUID

crates/ruff/resources/test/fixtures/pycodestyle/E21.py

@@ -1,14 +0,0 @@
-#: E211
-spam (1)
-#: E211 E211
-dict ['key'] = list [index]
-#: E211
-dict['key'] ['subkey'] = list[index]
-#: Okay
-spam(1)
-dict['key'] = list[index]
-
-
-# This is not prohibited by PEP8, but avoid it.
-class Foo (Bar, Baz):
-    pass

crates/ruff/resources/test/fixtures/pycodestyle/E23.py

@@ -1,15 +0,0 @@
-#: E231
-a = (1,2)
-#: E231
-a[b1,:]
-#: E231
-a = [{'a':''}]
-#: Okay
-a = (4,)
-b = (5, )
-c = {'text': text[5:]}
-
-result = {
-    'key1': 'value',
-    'key2': 'value',
-}

crates/ruff/resources/test/fixtures/pydocstyle/D401.py

@@ -2,8 +2,6 @@
 
 from functools import cached_property
 
-from gi.repository import GObject
-
 # Bad examples
 
 def bad_liouiwnlkjl():
@@ -78,11 +76,6 @@ class Thingy:
         """This property method docstring does not need to be written in imperative mood."""
         return self._beep
 
-    @GObject.Property
-    def good_custom_property(self):
-        """This property method docstring does not need to be written in imperative mood."""
-        return self._beep
-
     @cached_property
     def good_cached_property(self):
         """This property method docstring does not need to be written in imperative mood."""

crates/ruff/resources/test/fixtures/pydocstyle/bom.py

@@ -1 +0,0 @@
-''' SAM macro definitions '''

crates/ruff/resources/test/fixtures/pyflakes/F821_11.py

@@ -1,23 +0,0 @@
-"""Test case: strings used within calls within type annotations."""
-
-from typing import Callable
-
-import bpy
-from mypy_extensions import VarArg
-
-from foo import Bar
-
-
-class LightShow(bpy.types.Operator):
-    label = "Create Character"
-    name = "lightshow.letter_creation"
-
-    filepath: bpy.props.StringProperty(subtype="FILE_PATH")  # OK
-
-
-def f(x: Callable[[VarArg("os")], None]):  # F821
-    pass
-
-
-f(Callable[["Bar"], None])
-f(Callable[["Baz"], None])

crates/ruff/resources/test/fixtures/pyflakes/F821_12.py

@@ -1,25 +0,0 @@
-"""Test case: strings used within calls within type annotations."""
-
-from __future__ import annotations
-
-from typing import Callable
-
-import bpy
-from mypy_extensions import VarArg
-
-from foo import Bar
-
-
-class LightShow(bpy.types.Operator):
-    label = "Create Character"
-    name = "lightshow.letter_creation"
-
-    filepath: bpy.props.StringProperty(subtype="FILE_PATH")  # OK
-
-
-def f(x: Callable[[VarArg("os")], None]):  # F821
-    pass
-
-
-f(Callable[["Bar"], None])
-f(Callable[["Baz"], None])

crates/ruff/resources/test/fixtures/pylint/compare_to_empty_string.py

@@ -1,19 +0,0 @@
-x = "a string"
-y = "another string"
-z = ""
-
-
-def errors():
-    if x is "" or x == "":
-        print("x is an empty string")
-
-    if y is not "" or y != "":
-        print("y is not an empty string")
-
-    if "" != z:
-        print("z is an empty string")
-
-
-def ok():
-    if x and not y:
-        print("x is not an empty string, but y is an empty string")

crates/ruff/resources/test/fixtures/pylint/magic_value_comparison.py

@@ -11,9 +11,6 @@ if 10 == 100:  # [comparison-of-constants] R0133
 if 1 == 3:  # [comparison-of-constants] R0133
     pass
 
-if 1 == -3:  # [comparison-of-constants] R0133
-    pass
-
 x = 0
 if 4 == 3 == x:  # [comparison-of-constants] R0133
     pass
@@ -38,12 +35,6 @@ if argc != 1:  # correct
 if argc != 2:  # [magic-value-comparison]
     pass
 
-if argc != -2:  # [magic-value-comparison]
-    pass
-
-if argc != +2:  # [magic-value-comparison]
-    pass
-
 if __name__ == "__main__":  # correct
     pass
 

crates/ruff/resources/test/fixtures/pyproject.toml

@@ -25,7 +25,22 @@ avoid-escape = true
 max-complexity = 10
 
 [tool.ruff.pep8-naming]
-classmethod-decorators = ["pydantic.validator"]
+ignore-names = [
+  "setUp",
+  "tearDown",
+  "setUpClass",
+  "tearDownClass",
+  "setUpModule",
+  "tearDownModule",
+  "asyncSetUp",
+  "asyncTearDown",
+  "setUpTestData",
+  "failureException",
+  "longMessage",
+  "maxDiff",
+]
+classmethod-decorators = ["classmethod", "pydantic.validator"]
+staticmethod-decorators = ["staticmethod"]
 
 [tool.ruff.flake8-tidy-imports]
 ban-relative-imports = "parents"

crates/ruff/resources/test/fixtures/pyupgrade/UP012.py

@@ -12,17 +12,11 @@ Ipsum
 """.encode(
     "utf-8"
 )
-(
-    "Lorem "
-    "Ipsum".encode()
-)
-(
-    "Lorem "  # Comment
-    "Ipsum".encode()  # Comment
-)
-(
-    "Lorem " "Ipsum".encode()
-)
+# b"""
+# Lorem
+#
+# Ipsum
+# """
 
 # `encode` on variables should not be processed.
 string = "hello there"

crates/ruff/resources/test/fixtures/pyupgrade/UP035.py

@@ -41,7 +41,7 @@ if True:
         Good,
     )
 
-from typing import Callable, Match, Pattern, List, OrderedDict
+from typing import Callable, Match, Pattern, List
 
 if True: from collections import (
     Mapping, Counter)

crates/ruff/src/ast/branch_detection.rs

@@ -4,7 +4,7 @@ use rustc_hash::FxHashMap;
 use rustpython_parser::ast::ExcepthandlerKind::ExceptHandler;
 use rustpython_parser::ast::{Stmt, StmtKind};
 
-use crate::types::RefEquality;
+use crate::ast::types::RefEquality;
 
 /// Return the common ancestor of `left` and `right` below `stop`, or `None`.
 fn common_ancestor<'a>(

crates/ruff/src/ast/comparable.rs

@@ -1,14 +1,13 @@
 //! An equivalent object hierarchy to the [`Expr`] hierarchy, but with the
 //! ability to compare expressions for equality (via [`Eq`] and [`Hash`]).
 
+use num_bigint::BigInt;
 use rustpython_parser::ast::{
     Alias, Arg, Arguments, Boolop, Cmpop, Comprehension, Constant, Excepthandler,
     ExcepthandlerKind, Expr, ExprContext, ExprKind, Keyword, MatchCase, Operator, Pattern,
     PatternKind, Stmt, StmtKind, Unaryop, Withitem,
 };
 
-use num_bigint::BigInt;
-
 #[derive(Debug, PartialEq, Eq, Hash)]
 pub enum ComparableExprContext {
     Load,

crates/ruff/src/ast/function_type.rs

@@ -1,8 +1,8 @@
 use rustpython_parser::ast::Expr;
 
-use crate::context::Context;
-use crate::helpers::{map_callable, to_call_path};
-use crate::types::{Scope, ScopeKind};
+use crate::ast::helpers::{map_callable, to_call_path};
+use crate::ast::types::{Scope, ScopeKind};
+use crate::checkers::ast::Checker;
 
 const CLASS_METHODS: [&str; 3] = ["__new__", "__init_subclass__", "__class_getitem__"];
 const METACLASS_BASES: [(&str, &str); 2] = [("", "type"), ("abc", "ABCMeta")];
@@ -16,7 +16,7 @@ pub enum FunctionType {
 
 /// Classify a function based on its scope, name, and decorators.
 pub fn classify(
-    ctx: &Context,
+    checker: &Checker,
     scope: &Scope,
     name: &str,
     decorator_list: &[Expr],
@@ -29,12 +29,12 @@ pub fn classify(
     if decorator_list.iter().any(|expr| {
         // The method is decorated with a static method decorator (like
         // `@staticmethod`).
-        ctx.resolve_call_path(map_callable(expr))
+        checker
+            .resolve_call_path(map_callable(expr))
             .map_or(false, |call_path| {
-                call_path.as_slice() == ["", "staticmethod"]
-                    || staticmethod_decorators
-                        .iter()
-                        .any(|decorator| call_path == to_call_path(decorator))
+                staticmethod_decorators
+                    .iter()
+                    .any(|decorator| call_path == to_call_path(decorator))
             })
     }) {
         FunctionType::StaticMethod
@@ -42,7 +42,7 @@ pub fn classify(
         // Special-case class method, like `__new__`.
         || scope.bases.iter().any(|expr| {
             // The class itself extends a known metaclass, so all methods are class methods.
-            ctx.resolve_call_path(map_callable(expr)).map_or(false, |call_path| {
+            checker.resolve_call_path(map_callable(expr)).map_or(false, |call_path| {
                 METACLASS_BASES
                     .iter()
                     .any(|(module, member)| call_path.as_slice() == [*module, *member])
@@ -50,8 +50,7 @@ pub fn classify(
         })
         || decorator_list.iter().any(|expr| {
             // The method is decorated with a class method decorator (like `@classmethod`).
-            ctx.resolve_call_path(map_callable(expr)).map_or(false, |call_path| {
-                call_path.as_slice() == ["", "classmethod"] ||
+            checker.resolve_call_path(map_callable(expr)).map_or(false, |call_path| {
                 classmethod_decorators
                     .iter()
                     .any(|decorator| call_path == to_call_path(decorator))

crates/ruff/src/ast/hashable.rs

@@ -2,7 +2,7 @@ use std::hash::Hash;
 
 use rustpython_parser::ast::Expr;
 
-use crate::comparable::ComparableExpr;
+use crate::ast::comparable::ComparableExpr;
 
 /// Wrapper around `Expr` that implements `Hash` and `PartialEq`.
 pub struct HashableExpr<'a>(&'a Expr);
@@ -30,11 +30,11 @@ impl<'a> From<&'a Expr> for HashableExpr<'a> {
 }
 
 impl<'a> HashableExpr<'a> {
-    pub const fn from_expr(expr: &'a Expr) -> Self {
+    pub(crate) const fn from_expr(expr: &'a Expr) -> Self {
         Self(expr)
     }
 
-    pub const fn as_expr(&self) -> &'a Expr {
+    pub(crate) const fn as_expr(&self) -> &'a Expr {
         self.0
     }
 }

crates/ruff/src/ast/helpers.rs

@@ -13,11 +13,11 @@ use rustpython_parser::ast::{
 use rustpython_parser::{lexer, Mode, StringKind, Tok};
 use smallvec::{smallvec, SmallVec};
 
-use crate::context::Context;
+use crate::ast::types::{Binding, BindingKind, CallPath, Range};
+use crate::ast::visitor;
+use crate::ast::visitor::Visitor;
+use crate::checkers::ast::Checker;
 use crate::source_code::{Generator, Indexer, Locator, Stylist};
-use crate::types::{Binding, BindingKind, CallPath, Range};
-use crate::visitor;
-use crate::visitor::Visitor;
 
 /// Create an `Expr` with default location from an `ExprKind`.
 pub fn create_expr(node: ExprKind) -> Expr {
@@ -99,16 +99,17 @@ pub fn format_call_path(call_path: &[&str]) -> String {
 }
 
 /// Return `true` if the `Expr` contains a reference to `${module}.${target}`.
-pub fn contains_call_path(ctx: &Context, expr: &Expr, target: &[&str]) -> bool {
+pub fn contains_call_path(checker: &Checker, expr: &Expr, target: &[&str]) -> bool {
     any_over_expr(expr, &|expr| {
-        ctx.resolve_call_path(expr)
+        checker
+            .resolve_call_path(expr)
             .map_or(false, |call_path| call_path.as_slice() == target)
     })
 }
 
 /// Return `true` if the `Expr` contains an expression that appears to include a
 /// side-effect (like a function call).
-pub fn contains_effect(ctx: &Context, expr: &Expr) -> bool {
+pub fn contains_effect(checker: &Checker, expr: &Expr) -> bool {
     any_over_expr(expr, &|expr| {
         // Accept empty initializers.
         if let ExprKind::Call {
@@ -124,7 +125,7 @@ pub fn contains_effect(ctx: &Context, expr: &Expr) -> bool {
                         || id == "tuple"
                         || id == "dict"
                         || id == "frozenset")
-                        && ctx.is_builtin(id);
+                        && checker.is_builtin(id);
                     return !is_empty_initializer;
                 }
             }
@@ -652,7 +653,7 @@ pub fn has_comments<T>(located: &Located<T>, locator: &Locator) -> bool {
 
 /// Returns `true` if a [`Range`] includes at least one comment.
 pub fn has_comments_in(range: Range, locator: &Locator) -> bool {
-    for tok in lexer::lex_located(locator.slice(range), Mode::Module, range.location) {
+    for tok in lexer::lex_located(locator.slice(&range), Mode::Module, range.location) {
         match tok {
             Ok((_, tok, _)) => {
                 if matches!(tok, Tok::Comment(..)) {
@@ -668,10 +669,10 @@ pub fn has_comments_in(range: Range, locator: &Locator) -> bool {
 }
 
 /// Return `true` if the body uses `locals()`, `globals()`, `vars()`, `eval()`.
-pub fn uses_magic_variable_access(ctx: &Context, body: &[Stmt]) -> bool {
+pub fn uses_magic_variable_access(checker: &Checker, body: &[Stmt]) -> bool {
     any_over_body(body, &|expr| {
         if let ExprKind::Call { func, .. } = &expr.node {
-            ctx.resolve_call_path(func).map_or(false, |call_path| {
+            checker.resolve_call_path(func).map_or(false, |call_path| {
                 call_path.as_slice() == ["", "locals"]
                     || call_path.as_slice() == ["", "globals"]
                     || call_path.as_slice() == ["", "vars"]
@@ -741,7 +742,7 @@ pub fn to_module_path(package: &Path, path: &Path) -> Option<Vec<String>> {
         .ok()?
         .iter()
         .map(Path::new)
-        .map(Path::file_stem)
+        .map(std::path::Path::file_stem)
         .map(|path| path.and_then(|path| path.to_os_string().into_string().ok()))
         .collect::<Option<Vec<String>>>()
 }
@@ -799,7 +800,7 @@ where
         match &stmt.node {
             StmtKind::Raise { exc, cause } => {
                 self.raises
-                    .push((Range::from(stmt), exc.as_deref(), cause.as_deref()));
+                    .push((Range::from_located(stmt), exc.as_deref(), cause.as_deref()));
             }
             StmtKind::ClassDef { .. }
             | StmtKind::FunctionDef { .. }
@@ -854,7 +855,7 @@ pub fn to_relative(absolute: Location, base: Location) -> Location {
 /// Return `true` if a [`Located`] has leading content.
 pub fn match_leading_content<T>(located: &Located<T>, locator: &Locator) -> bool {
     let range = Range::new(Location::new(located.location.row(), 0), located.location);
-    let prefix = locator.slice(range);
+    let prefix = locator.slice(&range);
     prefix.chars().any(|char| !char.is_whitespace())
 }
 
@@ -864,7 +865,7 @@ pub fn match_trailing_content<T>(located: &Located<T>, locator: &Locator) -> boo
         located.end_location.unwrap(),
         Location::new(located.end_location.unwrap().row() + 1, 0),
     );
-    let suffix = locator.slice(range);
+    let suffix = locator.slice(&range);
     for char in suffix.chars() {
         if char == '#' {
             return false;
@@ -882,7 +883,7 @@ pub fn match_trailing_comment<T>(located: &Located<T>, locator: &Locator) -> Opt
         located.end_location.unwrap(),
         Location::new(located.end_location.unwrap().row() + 1, 0),
     );
-    let suffix = locator.slice(range);
+    let suffix = locator.slice(&range);
     for (i, char) in suffix.chars().enumerate() {
         if char == '#' {
             return Some(i);
@@ -940,7 +941,7 @@ pub fn identifier_range(stmt: &Stmt, locator: &Locator) -> Range {
             | StmtKind::FunctionDef { .. }
             | StmtKind::AsyncFunctionDef { .. }
     ) {
-        let contents = locator.slice(stmt);
+        let contents = locator.slice(&Range::from_located(stmt));
         for (start, tok, end) in lexer::lex_located(contents, Mode::Module, stmt.location).flatten()
         {
             if matches!(tok, Tok::Name { .. }) {
@@ -949,7 +950,7 @@ pub fn identifier_range(stmt: &Stmt, locator: &Locator) -> Range {
         }
         error!("Failed to find identifier for {:?}", stmt);
     }
-    Range::from(stmt)
+    Range::from_located(stmt)
 }
 
 /// Like `identifier_range`, but accepts a `Binding`.
@@ -967,12 +968,12 @@ pub fn binding_range(binding: &Binding, locator: &Locator) -> Range {
     }
 }
 
-/// Return the ranges of [`Tok::Name`] tokens within a specified node.
-pub fn find_names<'a, T>(
-    located: &'a Located<T>,
+// Return the ranges of `Name` tokens within a specified node.
+pub fn find_names<'a, T, U>(
+    located: &'a Located<T, U>,
     locator: &'a Locator,
 ) -> impl Iterator<Item = Range> + 'a {
-    let contents = locator.slice(located);
+    let contents = locator.slice(&Range::from_located(located));
     lexer::lex_located(contents, Mode::Module, located.location)
         .flatten()
         .filter(|(_, tok, _)| matches!(tok, Tok::Name { .. }))
@@ -990,7 +991,7 @@ pub fn excepthandler_name_range(handler: &Excepthandler, locator: &Locator) -> O
     match (name, type_) {
         (Some(_), Some(type_)) => {
             let type_end_location = type_.end_location.unwrap();
-            let contents = locator.slice(Range::new(type_end_location, body[0].location));
+            let contents = locator.slice(&Range::new(type_end_location, body[0].location));
             let range = lexer::lex_located(contents, Mode::Module, type_end_location)
                 .flatten()
                 .tuple_windows()
@@ -1014,7 +1015,7 @@ pub fn except_range(handler: &Excepthandler, locator: &Locator) -> Range {
             .expect("Expected body to be non-empty")
             .location
     };
-    let contents = locator.slice(Range {
+    let contents = locator.slice(&Range {
         location: handler.location,
         end_location: end,
     });
@@ -1031,7 +1032,7 @@ pub fn except_range(handler: &Excepthandler, locator: &Locator) -> Range {
 
 /// Find f-strings that don't contain any formatted values in a `JoinedStr`.
 pub fn find_useless_f_strings(expr: &Expr, locator: &Locator) -> Vec<(Range, Range)> {
-    let contents = locator.slice(expr);
+    let contents = locator.slice(&Range::from_located(expr));
     lexer::lex_located(contents, Mode::Module, expr.location)
         .flatten()
         .filter_map(|(location, tok, end_location)| match tok {
@@ -1039,7 +1040,7 @@ pub fn find_useless_f_strings(expr: &Expr, locator: &Locator) -> Vec<(Range, Ran
                 kind: StringKind::FString | StringKind::RawFString,
                 ..
             } => {
-                let first_char = locator.slice(Range {
+                let first_char = locator.slice(&Range {
                     location,
                     end_location: Location::new(location.row(), location.column() + 1),
                 });
@@ -1079,7 +1080,7 @@ pub fn else_range(stmt: &Stmt, locator: &Locator) -> Option<Range> {
                 .expect("Expected body to be non-empty")
                 .end_location
                 .unwrap();
-            let contents = locator.slice(Range {
+            let contents = locator.slice(&Range {
                 location: body_end,
                 end_location: orelse
                     .first()
@@ -1101,7 +1102,7 @@ pub fn else_range(stmt: &Stmt, locator: &Locator) -> Option<Range> {
 
 /// Return the `Range` of the first `Tok::Colon` token in a `Range`.
 pub fn first_colon_range(range: Range, locator: &Locator) -> Option<Range> {
-    let contents = locator.slice(range);
+    let contents = locator.slice(&range);
     let range = lexer::lex_located(contents, Mode::Module, range.location)
         .flatten()
         .find(|(_, kind, _)| matches!(kind, Tok::Colon))
@@ -1112,32 +1113,6 @@ pub fn first_colon_range(range: Range, locator: &Locator) -> Option<Range> {
     range
 }
 
-/// Given a statement, find its "logical end".
-///
-/// For example: the statement could be following by a trailing semicolon, by an end-of-line
-/// comment, or by any number of continuation lines (and then by a comment, and so on).
-pub fn end_of_statement(stmt: &Stmt, locator: &Locator) -> Location {
-    let contents = locator.skip(stmt.end_location.unwrap());
-
-    // End-of-file, so just return the end of the statement.
-    if contents.is_empty() {
-        return stmt.end_location.unwrap();
-    }
-
-    // Otherwise, find the end of the last line that's "part of" the statement.
-    for (lineno, line) in contents.lines().enumerate() {
-        if line.ends_with('\\') {
-            continue;
-        }
-        return to_absolute(
-            Location::new(lineno + 1, line.chars().count()),
-            stmt.end_location.unwrap(),
-        );
-    }
-
-    unreachable!("Expected to find end-of-statement")
-}
-
 /// Return the `Range` of the first `Elif` or `Else` token in an `If` statement.
 pub fn elif_else_range(stmt: &Stmt, locator: &Locator) -> Option<Range> {
     let StmtKind::If { body, orelse, .. } = &stmt.node else {
@@ -1157,7 +1132,7 @@ pub fn elif_else_range(stmt: &Stmt, locator: &Locator) -> Option<Range> {
         [stmt, ..] => stmt.location,
         _ => return None,
     };
-    let contents = locator.slice(Range::new(start, end));
+    let contents = locator.slice(&Range::new(start, end));
     let range = lexer::lex_located(contents, Mode::Module, start)
         .flatten()
         .find(|(_, kind, _)| matches!(kind, Tok::Elif | Tok::Else))
@@ -1250,15 +1225,10 @@ impl<'a> SimpleCallArgs<'a> {
         None
     }
 
-    /// Return the number of positional and keyword arguments.
+    /// Get the number of positional and keyword arguments used.
     pub fn len(&self) -> usize {
         self.args.len() + self.kwargs.len()
     }
-
-    /// Return `true` if there are no positional or keyword arguments.
-    pub fn is_empty(&self) -> bool {
-        self.len() == 0
-    }
 }
 
 /// Return `true` if the given `Expr` is a potential logging call. Matches
@@ -1282,11 +1252,11 @@ mod tests {
     use rustpython_parser as parser;
     use rustpython_parser::ast::Location;
 
-    use crate::helpers::{
+    use crate::ast::helpers::{
         elif_else_range, else_range, first_colon_range, identifier_range, match_trailing_content,
     };
+    use crate::ast::types::Range;
     use crate::source_code::Locator;
-    use crate::types::Range;
 
     #[test]
     fn trailing_content() -> Result<()> {

crates/ruff/src/ast/logging.rs

@@ -9,7 +9,7 @@ pub enum LoggingLevel {
 }
 
 impl LoggingLevel {
-    pub fn from_attribute(level: &str) -> Option<Self> {
+    pub fn from_str(level: &str) -> Option<Self> {
         match level {
             "debug" => Some(LoggingLevel::Debug),
             "critical" => Some(LoggingLevel::Critical),

crates/ruff/src/ast/mod.rs

@@ -1,17 +1,13 @@
 pub mod branch_detection;
 pub mod cast;
 pub mod comparable;
-pub mod context;
 pub mod function_type;
 pub mod hashable;
 pub mod helpers;
 pub mod logging;
 pub mod operations;
 pub mod relocate;
-pub mod source_code;
-pub mod str;
 pub mod types;
 pub mod typing;
-pub mod visibility;
 pub mod visitor;
 pub mod whitespace;

crates/ruff/src/ast/operations.rs

@@ -3,11 +3,11 @@ use rustc_hash::FxHashMap;
 use rustpython_parser::ast::{Cmpop, Constant, Expr, ExprKind, Located, Stmt, StmtKind};
 use rustpython_parser::{lexer, Mode, Tok};
 
-use crate::context::Context;
-use crate::helpers::any_over_expr;
-use crate::types::{BindingKind, Scope};
-use crate::visitor;
-use crate::visitor::Visitor;
+use crate::ast::helpers::any_over_expr;
+use crate::ast::types::{BindingKind, Scope};
+use crate::ast::visitor;
+use crate::ast::visitor::Visitor;
+use crate::checkers::ast::Checker;
 
 bitflags! {
     #[derive(Default)]
@@ -19,7 +19,7 @@ bitflags! {
 
 /// Extract the names bound to a given __all__ assignment.
 pub fn extract_all_names(
-    ctx: &Context,
+    checker: &Checker,
     stmt: &Stmt,
     scope: &Scope,
 ) -> (Vec<String>, AllNamesFlags) {
@@ -38,7 +38,7 @@ pub fn extract_all_names(
     }
 
     fn extract_elts<'a>(
-        ctx: &'a Context,
+        checker: &'a Checker,
         expr: &'a Expr,
     ) -> (Option<&'a Vec<Expr>>, AllNamesFlags) {
         match &expr.node {
@@ -60,7 +60,7 @@ pub fn extract_all_names(
             } => {
                 // Allow `tuple()` and `list()` calls.
                 if keywords.is_empty() && args.len() <= 1 {
-                    if ctx.resolve_call_path(func).map_or(false, |call_path| {
+                    if checker.resolve_call_path(func).map_or(false, |call_path| {
                         call_path.as_slice() == ["", "tuple"]
                             || call_path.as_slice() == ["", "list"]
                     }) {
@@ -96,7 +96,7 @@ pub fn extract_all_names(
     // Grab the existing bound __all__ values.
     if let StmtKind::AugAssign { .. } = &stmt.node {
         if let Some(index) = scope.bindings.get("__all__") {
-            if let BindingKind::Export(existing) = &ctx.bindings[*index].kind {
+            if let BindingKind::Export(existing) = &checker.bindings[*index].kind {
                 names.extend_from_slice(existing);
             }
         }
@@ -113,7 +113,7 @@ pub fn extract_all_names(
             let mut current_right = right;
             loop {
                 // Process the right side, which should be a "real" value.
-                let (elts, new_flags) = extract_elts(ctx, current_right);
+                let (elts, new_flags) = extract_elts(checker, current_right);
                 flags |= new_flags;
                 if let Some(elts) = elts {
                     add_to_names(&mut names, elts, &mut flags);
@@ -125,7 +125,7 @@ pub fn extract_all_names(
                     current_left = left;
                     current_right = right;
                 } else {
-                    let (elts, new_flags) = extract_elts(ctx, current_left);
+                    let (elts, new_flags) = extract_elts(checker, current_left);
                     flags |= new_flags;
                     if let Some(elts) = elts {
                         add_to_names(&mut names, elts, &mut flags);
@@ -134,7 +134,7 @@ pub fn extract_all_names(
                 }
             }
         } else {
-            let (elts, new_flags) = extract_elts(ctx, value);
+            let (elts, new_flags) = extract_elts(checker, value);
             flags |= new_flags;
             if let Some(elts) = elts {
                 add_to_names(&mut names, elts, &mut flags);
@@ -348,7 +348,7 @@ pub fn locate_cmpops(contents: &str) -> Vec<LocatedCmpop> {
 mod tests {
     use rustpython_parser::ast::{Cmpop, Location};
 
-    use crate::operations::{locate_cmpops, LocatedCmpop};
+    use crate::ast::operations::{locate_cmpops, LocatedCmpop};
 
     #[test]
     fn locates_cmpops() {

crates/ruff/src/ast/relocate.rs

@@ -1,6 +1,6 @@
 use rustpython_parser::ast::{Expr, ExprKind, Keyword};
 
-use crate::types::Range;
+use crate::ast::types::Range;
 
 fn relocate_keyword(keyword: &mut Keyword, location: Range) {
     keyword.location = location.location;

crates/ruff/src/ast/types.rs

@@ -28,17 +28,13 @@ impl Range {
             end_location,
         }
     }
-}
 
-impl<T> From<&Located<T>> for Range {
-    fn from(located: &Located<T>) -> Self {
+    pub fn from_located<T, U>(located: &Located<T, U>) -> Self {
         Range::new(located.location, located.end_location.unwrap())
     }
-}
 
-impl<T> From<&Box<Located<T>>> for Range {
-    fn from(located: &Box<Located<T>>) -> Self {
-        Range::new(located.location, located.end_location.unwrap())
+    pub fn contains(&self, other: &Range) -> bool {
+        self.location <= other.location && self.end_location >= other.end_location
     }
 }
 

crates/ruff/src/ast/typing.rs

@@ -1,7 +1,7 @@
-use ruff_python_stdlib::typing::{PEP_585_BUILTINS_ELIGIBLE, PEP_593_SUBSCRIPTS, SUBSCRIPTS};
+use ruff_python::typing::{PEP_585_BUILTINS_ELIGIBLE, PEP_593_SUBSCRIPTS, SUBSCRIPTS};
 use rustpython_parser::ast::{Expr, ExprKind};
 
-use crate::types::CallPath;
+use crate::ast::types::CallPath;
 
 pub enum Callable {
     ForwardRef,

crates/ruff/src/ast/whitespace.rs

@@ -2,13 +2,13 @@ use std::str::Lines;
 
 use rustpython_parser::ast::{Located, Location};
 
+use crate::ast::types::Range;
 use crate::source_code::Locator;
-use crate::types::Range;
 
 /// Extract the leading indentation from a line.
 pub fn indentation<'a, T>(locator: &'a Locator, located: &'a Located<T>) -> Option<&'a str> {
-    let range = Range::from(located);
-    let indentation = locator.slice(Range::new(
+    let range = Range::from_located(located);
+    let indentation = locator.slice(&Range::new(
         Location::new(range.location.row(), 0),
         Location::new(range.location.row(), range.location.column()),
     ));

crates/ruff/src/autofix/helpers.rs

@@ -6,14 +6,14 @@ use libcst_native::{
 use rustpython_parser::ast::{ExcepthandlerKind, Expr, Keyword, Location, Stmt, StmtKind};
 use rustpython_parser::{lexer, Mode, Tok};
 
-use ruff_diagnostics::Fix;
-use ruff_python_ast::helpers;
-use ruff_python_ast::helpers::to_absolute;
-use ruff_python_ast::source_code::{Indexer, Locator, Stylist};
-use ruff_python_ast::whitespace::LinesWithTrailingNewline;
-
+use crate::ast::helpers;
+use crate::ast::helpers::to_absolute;
+use crate::ast::types::Range;
+use crate::ast::whitespace::LinesWithTrailingNewline;
 use crate::cst::helpers::compose_module_path;
 use crate::cst::matchers::match_module;
+use crate::fix::Fix;
+use crate::source_code::{Indexer, Locator, Stylist};
 
 /// Determine if a body contains only a single statement, taking into account
 /// deleted.
@@ -227,7 +227,7 @@ pub fn remove_unused_imports<'a>(
     indexer: &Indexer,
     stylist: &Stylist,
 ) -> Result<Fix> {
-    let module_text = locator.slice(stmt);
+    let module_text = locator.slice(&Range::from_located(stmt));
     let mut tree = match_module(module_text)?;
 
     let Some(Statement::Simple(body)) = tree.body.first_mut() else {
@@ -450,9 +450,8 @@ mod tests {
     use rustpython_parser as parser;
     use rustpython_parser::ast::Location;
 
-    use ruff_python_ast::source_code::Locator;
-
     use crate::autofix::helpers::{next_stmt_break, trailing_semicolon};
+    use crate::source_code::Locator;
 
     #[test]
     fn find_semicolon() -> Result<()> {

crates/ruff/src/autofix/mod.rs

@@ -4,12 +4,11 @@ use itertools::Itertools;
 use rustc_hash::FxHashMap;
 use rustpython_parser::ast::Location;
 
-use ruff_diagnostics::{Diagnostic, Fix};
-use ruff_python_ast::source_code::Locator;
-use ruff_python_ast::types::Range;
-
+use crate::ast::types::Range;
+use crate::fix::Fix;
 use crate::linter::FixTable;
-use crate::registry::AsRule;
+use crate::registry::Diagnostic;
+use crate::source_code::Locator;
 
 pub mod helpers;
 
@@ -55,7 +54,7 @@ fn apply_fixes<'a>(
         }
 
         // Add all contents from `last_pos` to `fix.location`.
-        let slice = locator.slice(Range::new(last_pos, fix.location));
+        let slice = locator.slice(&Range::new(last_pos, fix.location));
         output.push_str(slice);
 
         // Add the patch itself.
@@ -79,7 +78,7 @@ pub(crate) fn apply_fix(fix: &Fix, locator: &Locator) -> String {
     let mut output = String::with_capacity(locator.len());
 
     // Add all contents from `last_pos` to `fix.location`.
-    let slice = locator.slice(Range::new(Location::new(1, 0), fix.location));
+    let slice = locator.slice(&Range::new(Location::new(1, 0), fix.location));
     output.push_str(slice);
 
     // Add the patch itself.
@@ -96,38 +95,43 @@ pub(crate) fn apply_fix(fix: &Fix, locator: &Locator) -> String {
 mod tests {
     use rustpython_parser::ast::Location;
 
-    use ruff_diagnostics::Diagnostic;
-    use ruff_diagnostics::Fix;
-    use ruff_python_ast::source_code::Locator;
-
     use crate::autofix::{apply_fix, apply_fixes};
+    use crate::fix::Fix;
+    use crate::registry::Diagnostic;
     use crate::rules::pycodestyle::rules::NoNewLineAtEndOfFile;
 
-    fn create_diagnostics(fixes: impl IntoIterator<Item = Fix>) -> Vec<Diagnostic> {
-        fixes
-            .into_iter()
-            .map(|fix| Diagnostic {
+    use crate::source_code::Locator;
+
+    #[test]
+    fn empty_file() {
+        let fixes: Vec<Diagnostic> = vec![];
+        let locator = Locator::new(r#""#);
+        let (contents, fixed) = apply_fixes(fixes.iter(), &locator);
+        assert_eq!(contents, "");
+        assert_eq!(fixed.values().sum::<usize>(), 0);
+    }
+
+    impl From<Fix> for Diagnostic {
+        fn from(fix: Fix) -> Self {
+            Diagnostic {
                 // The choice of rule here is arbitrary.
                 kind: NoNewLineAtEndOfFile.into(),
                 location: fix.location,
                 end_location: fix.end_location,
                 fix: Some(fix),
                 parent: None,
-            })
-            .collect()
-    }
-
-    #[test]
-    fn empty_file() {
-        let locator = Locator::new(r#""#);
-        let diagnostics = create_diagnostics([]);
-        let (contents, fixed) = apply_fixes(diagnostics.iter(), &locator);
-        assert_eq!(contents, "");
-        assert_eq!(fixed.values().sum::<usize>(), 0);
+            }
+        }
     }
 
     #[test]
     fn apply_one_replacement() {
+        let fixes: Vec<Diagnostic> = vec![Fix {
+            content: "Bar".to_string(),
+            location: Location::new(1, 8),
+            end_location: Location::new(1, 14),
+        }
+        .into()];
         let locator = Locator::new(
             r#"
 class A(object):
@@ -135,12 +139,7 @@ class A(object):
 "#
             .trim(),
         );
-        let diagnostics = create_diagnostics([Fix {
-            content: "Bar".to_string(),
-            location: Location::new(1, 8),
-            end_location: Location::new(1, 14),
-        }]);
-        let (contents, fixed) = apply_fixes(diagnostics.iter(), &locator);
+        let (contents, fixed) = apply_fixes(fixes.iter(), &locator);
         assert_eq!(
             contents,
             r#"
@@ -154,6 +153,12 @@ class A(Bar):
 
     #[test]
     fn apply_one_removal() {
+        let fixes: Vec<Diagnostic> = vec![Fix {
+            content: String::new(),
+            location: Location::new(1, 7),
+            end_location: Location::new(1, 15),
+        }
+        .into()];
         let locator = Locator::new(
             r#"
 class A(object):
@@ -161,12 +166,7 @@ class A(object):
 "#
             .trim(),
         );
-        let diagnostics = create_diagnostics([Fix {
-            content: String::new(),
-            location: Location::new(1, 7),
-            end_location: Location::new(1, 15),
-        }]);
-        let (contents, fixed) = apply_fixes(diagnostics.iter(), &locator);
+        let (contents, fixed) = apply_fixes(fixes.iter(), &locator);
         assert_eq!(
             contents,
             r#"
@@ -180,6 +180,20 @@ class A:
 
     #[test]
     fn apply_two_removals() {
+        let fixes: Vec<Diagnostic> = vec![
+            Fix {
+                content: String::new(),
+                location: Location::new(1, 7),
+                end_location: Location::new(1, 16),
+            }
+            .into(),
+            Fix {
+                content: String::new(),
+                location: Location::new(1, 16),
+                end_location: Location::new(1, 23),
+            }
+            .into(),
+        ];
         let locator = Locator::new(
             r#"
 class A(object, object):
@@ -187,19 +201,7 @@ class A(object, object):
 "#
             .trim(),
         );
-        let diagnostics = create_diagnostics([
-            Fix {
-                content: String::new(),
-                location: Location::new(1, 7),
-                end_location: Location::new(1, 16),
-            },
-            Fix {
-                content: String::new(),
-                location: Location::new(1, 16),
-                end_location: Location::new(1, 23),
-            },
-        ]);
-        let (contents, fixed) = apply_fixes(diagnostics.iter(), &locator);
+        let (contents, fixed) = apply_fixes(fixes.iter(), &locator);
 
         assert_eq!(
             contents,
@@ -214,6 +216,20 @@ class A:
 
     #[test]
     fn ignore_overlapping_fixes() {
+        let fixes: Vec<Diagnostic> = vec![
+            Fix {
+                content: String::new(),
+                location: Location::new(1, 7),
+                end_location: Location::new(1, 15),
+            }
+            .into(),
+            Fix {
+                content: "ignored".to_string(),
+                location: Location::new(1, 9),
+                end_location: Location::new(1, 11),
+            }
+            .into(),
+        ];
         let locator = Locator::new(
             r#"
 class A(object):
@@ -221,19 +237,7 @@ class A(object):
 "#
             .trim(),
         );
-        let diagnostics = create_diagnostics([
-            Fix {
-                content: String::new(),
-                location: Location::new(1, 7),
-                end_location: Location::new(1, 15),
-            },
-            Fix {
-                content: "ignored".to_string(),
-                location: Location::new(1, 9),
-                end_location: Location::new(1, 11),
-            },
-        ]);
-        let (contents, fixed) = apply_fixes(diagnostics.iter(), &locator);
+        let (contents, fixed) = apply_fixes(fixes.iter(), &locator);
         assert_eq!(
             contents,
             r#"

crates/ruff/src/cache.rs

@@ -1,9 +1,3 @@
-mod cache_key;
-pub mod filetime;
-pub mod globset;
-
-pub use cache_key::{CacheKey, CacheKeyHasher};
-
 use std::path::{Path, PathBuf};
 
 pub const CACHE_DIR_NAME: &str = ".ruff_cache";

crates/ruff/src/checkers/ast/deferred.rs

@@ -1,24 +0,0 @@
-use rustpython_parser::ast::{Expr, Stmt};
-
-use ruff_python_ast::types::Range;
-use ruff_python_ast::types::RefEquality;
-use ruff_python_ast::visibility::{Visibility, VisibleScope};
-
-use crate::checkers::ast::AnnotationContext;
-use crate::docstrings::definition::Definition;
-
-type Context<'a> = (Vec<usize>, Vec<RefEquality<'a, Stmt>>);
-
-/// A collection of AST nodes that are deferred for later analysis.
-/// Used to, e.g., store functions, whose bodies shouldn't be analyzed until all
-/// module-level definitions have been analyzed.
-#[derive(Default)]
-pub struct Deferred<'a> {
-    pub definitions: Vec<(Definition<'a>, Visibility, Context<'a>)>,
-    pub string_type_definitions: Vec<(Range, &'a str, AnnotationContext, Context<'a>)>,
-    pub type_definitions: Vec<(&'a Expr, AnnotationContext, Context<'a>)>,
-    pub functions: Vec<(&'a Stmt, Context<'a>, VisibleScope)>,
-    pub lambdas: Vec<(&'a Expr, Context<'a>)>,
-    pub for_loops: Vec<(&'a Stmt, Context<'a>)>,
-    pub assignments: Vec<Context<'a>>,
-}

crates/ruff/src/checkers/filesystem.rs

@@ -1,8 +1,6 @@
 use std::path::Path;
 
-use ruff_diagnostics::Diagnostic;
-
-use crate::registry::Rule;
+use crate::registry::{Diagnostic, Rule};
 use crate::rules::flake8_no_pep420::rules::implicit_namespace_package;
 use crate::rules::pep8_naming::rules::invalid_module_name;
 use crate::settings::Settings;

crates/ruff/src/checkers/imports.rs

@@ -4,15 +4,13 @@ use std::path::Path;
 
 use rustpython_parser::ast::Suite;
 
-use ruff_diagnostics::Diagnostic;
-use ruff_python_ast::source_code::{Indexer, Locator, Stylist};
-use ruff_python_ast::visitor::Visitor;
-
+use crate::ast::visitor::Visitor;
 use crate::directives::IsortDirectives;
-use crate::registry::Rule;
+use crate::registry::{Diagnostic, Rule};
 use crate::rules::isort;
 use crate::rules::isort::track::{Block, ImportTracker};
 use crate::settings::{flags, Settings};
+use crate::source_code::{Indexer, Locator, Stylist};
 
 #[allow(clippy::too_many_arguments)]
 pub fn check_imports(

crates/ruff/src/checkers/logical_lines.rs

@@ -1,23 +1,18 @@
-#![allow(dead_code, unused_imports, unused_variables)]
-
 use bisection::bisect_left;
 use itertools::Itertools;
 use rustpython_parser::ast::Location;
 use rustpython_parser::lexer::LexResult;
 
-use ruff_diagnostics::Diagnostic;
-use ruff_python_ast::source_code::{Locator, Stylist};
-use ruff_python_ast::types::Range;
-
-use crate::registry::{AsRule, Rule};
+use crate::ast::types::Range;
+use crate::registry::Diagnostic;
 use crate::rules::pycodestyle::logical_lines::{iter_logical_lines, TokenFlags};
 use crate::rules::pycodestyle::rules::{
-    extraneous_whitespace, indentation, missing_whitespace, missing_whitespace_after_keyword,
-    missing_whitespace_around_operator, space_around_operator, whitespace_around_keywords,
-    whitespace_around_named_parameter_equals, whitespace_before_comment,
-    whitespace_before_parameters,
+    extraneous_whitespace, indentation, missing_whitespace_after_keyword, space_around_operator,
+    whitespace_around_keywords, whitespace_around_named_parameter_equals,
+    whitespace_before_comment,
 };
-use crate::settings::{flags, Settings};
+use crate::settings::Settings;
+use crate::source_code::{Locator, Stylist};
 
 /// Return the amount of indentation, expanding tabs to the next multiple of 8.
 fn expand_indent(mut line: &str) -> usize {
@@ -45,7 +40,6 @@ pub fn check_logical_lines(
     locator: &Locator,
     stylist: &Stylist,
     settings: &Settings,
-    autofix: flags::Autofix,
 ) -> Vec<Diagnostic> {
     let mut diagnostics = vec![];
 
@@ -59,7 +53,7 @@ pub fn check_logical_lines(
 
         // Extract the indentation level.
         let start_loc = line.mapping[0].1;
-        let start_line = locator.slice(Range::new(Location::new(start_loc.row(), 0), start_loc));
+        let start_line = locator.slice(&Range::new(Location::new(start_loc.row(), 0), start_loc));
         let indent_level = expand_indent(start_line);
         let indent_size = 4;
 
@@ -153,44 +147,6 @@ pub fn check_logical_lines(
                     });
                 }
             }
-            for (location, kind) in missing_whitespace_around_operator(&line.tokens) {
-                if settings.rules.enabled(kind.rule()) {
-                    diagnostics.push(Diagnostic {
-                        kind,
-                        location,
-                        end_location: location,
-                        fix: None,
-                        parent: None,
-                    });
-                }
-            }
-
-            #[cfg(feature = "logical_lines")]
-            let should_fix = autofix.into() && settings.rules.should_fix(&Rule::MissingWhitespace);
-
-            #[cfg(not(feature = "logical_lines"))]
-            let should_fix = false;
-
-            for diagnostic in missing_whitespace(&line.text, start_loc.row(), should_fix) {
-                if settings.rules.enabled(diagnostic.kind.rule()) {
-                    diagnostics.push(diagnostic);
-                }
-            }
-        }
-
-        if line.flags.contains(TokenFlags::BRACKET) {
-            #[cfg(feature = "logical_lines")]
-            let should_fix =
-                autofix.into() && settings.rules.should_fix(&Rule::WhitespaceBeforeParameters);
-
-            #[cfg(not(feature = "logical_lines"))]
-            let should_fix = false;
-
-            for diagnostic in whitespace_before_parameters(&line.tokens, should_fix) {
-                if settings.rules.enabled(diagnostic.kind.rule()) {
-                    diagnostics.push(diagnostic);
-                }
-            }
         }
 
         for (index, kind) in indentation(
@@ -227,9 +183,8 @@ mod tests {
     use rustpython_parser::lexer::LexResult;
     use rustpython_parser::{lexer, Mode};
 
-    use ruff_python_ast::source_code::Locator;
-
     use crate::checkers::logical_lines::iter_logical_lines;
+    use crate::source_code::Locator;
 
     #[test]
     fn split_logical_lines() {
@@ -306,7 +261,7 @@ f()"#;
             .into_iter()
             .map(|line| line.text)
             .collect();
-        let expected = vec!["def f():", "\"xxxxxxxxxxxxxxxxxxxx\"", "", "x = 1", "f()"];
+        let expected = vec!["def f():", "\"xxx\"", "", "x = 1", "f()"];
         assert_eq!(actual, expected);
     }
 }

crates/ruff/src/checkers/noqa.rs

@@ -4,13 +4,12 @@ use log::warn;
 use nohash_hasher::IntMap;
 use rustpython_parser::ast::Location;
 
-use ruff_diagnostics::{Diagnostic, Fix};
-use ruff_python_ast::types::Range;
-
+use crate::ast::types::Range;
 use crate::codes::NoqaCode;
+use crate::fix::Fix;
 use crate::noqa;
 use crate::noqa::{extract_file_exemption, Directive, Exemption};
-use crate::registry::{AsRule, Rule};
+use crate::registry::{Diagnostic, DiagnosticKind, Rule};
 use crate::rule_redirects::get_redirect_target;
 use crate::rules::ruff::rules::{UnusedCodes, UnusedNOQA};
 use crate::settings::{flags, Settings};
@@ -66,7 +65,7 @@ pub fn check_noqa(
 
     // Remove any ignored diagnostics.
     for (index, diagnostic) in diagnostics.iter().enumerate() {
-        if matches!(diagnostic.kind.rule(), Rule::BlanketNOQA) {
+        if matches!(diagnostic.kind, DiagnosticKind::BlanketNOQA(..)) {
             continue;
         }
 

crates/ruff/src/checkers/physical_lines.rs

@@ -2,10 +2,7 @@
 
 use std::path::Path;
 
-use ruff_diagnostics::Diagnostic;
-use ruff_python_ast::source_code::Stylist;
-
-use crate::registry::Rule;
+use crate::registry::{Diagnostic, Rule};
 use crate::rules::flake8_executable::helpers::{extract_shebang, ShebangDirective};
 use crate::rules::flake8_executable::rules::{
     shebang_missing, shebang_newline, shebang_not_executable, shebang_python, shebang_whitespace,
@@ -18,6 +15,7 @@ use crate::rules::pygrep_hooks::rules::{blanket_noqa, blanket_type_ignore};
 use crate::rules::pylint;
 use crate::rules::pyupgrade::rules::unnecessary_coding_comment;
 use crate::settings::{flags, Settings};
+use crate::source_code::Stylist;
 
 pub fn check_physical_lines(
     path: &Path,
@@ -181,14 +179,13 @@ pub fn check_physical_lines(
 
 #[cfg(test)]
 mod tests {
+
     use std::path::Path;
 
-    use ruff_python_ast::source_code::{Locator, Stylist};
-
+    use super::check_physical_lines;
     use crate::registry::Rule;
     use crate::settings::{flags, Settings};
-
-    use super::check_physical_lines;
+    use crate::source_code::{Locator, Stylist};
 
     #[test]
     fn e501_non_ascii_char() {

crates/ruff/src/checkers/tokens.rs

@@ -4,22 +4,20 @@ use rustpython_parser::lexer::LexResult;
 use rustpython_parser::Tok;
 
 use crate::lex::docstring_detection::StateMachine;
-use crate::registry::{AsRule, Rule};
+use crate::registry::{Diagnostic, Rule};
 use crate::rules::ruff::rules::Context;
 use crate::rules::{
-    eradicate, flake8_commas, flake8_implicit_str_concat, flake8_pyi, flake8_quotes, pycodestyle,
-    pyupgrade, ruff,
+    eradicate, flake8_commas, flake8_implicit_str_concat, flake8_quotes, pycodestyle, pyupgrade,
+    ruff,
 };
 use crate::settings::{flags, Settings};
-use ruff_diagnostics::Diagnostic;
-use ruff_python_ast::source_code::Locator;
+use crate::source_code::Locator;
 
 pub fn check_tokens(
     locator: &Locator,
     tokens: &[LexResult],
     settings: &Settings,
     autofix: flags::Autofix,
-    is_stub: bool,
 ) -> Vec<Diagnostic> {
     let mut diagnostics: Vec<Diagnostic> = vec![];
 
@@ -57,7 +55,6 @@ pub fn check_tokens(
             .enabled(&Rule::TrailingCommaOnBareTupleProhibited)
         || settings.rules.enabled(&Rule::TrailingCommaProhibited);
     let enforce_extraneous_parenthesis = settings.rules.enabled(&Rule::ExtraneousParentheses);
-    let enforce_type_comment_in_stub = settings.rules.enabled(&Rule::TypeCommentInStub);
 
     // RUF001, RUF002, RUF003
     if enforce_ambiguous_unicode_character {
@@ -164,10 +161,5 @@ pub fn check_tokens(
         );
     }
 
-    // PYI033
-    if enforce_type_comment_in_stub && is_stub {
-        diagnostics.extend(flake8_pyi::rules::type_comment_in_stub(tokens));
-    }
-
     diagnostics
 }

crates/ruff/src/codes.rs

@@ -1,23 +1,5 @@
 use crate::registry::{Linter, Rule};
 
-#[derive(PartialEq, Eq, PartialOrd, Ord)]
-pub struct NoqaCode(&'static str, &'static str);
-
-impl std::fmt::Display for NoqaCode {
-    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> Result<(), std::fmt::Error> {
-        write!(f, "{}{}", self.0, self.1)
-    }
-}
-
-impl PartialEq<&str> for NoqaCode {
-    fn eq(&self, other: &&str) -> bool {
-        match other.strip_prefix(self.0) {
-            Some(suffix) => suffix == self.1,
-            None => false,
-        }
-    }
-}
-
 #[ruff_macros::map_codes]
 pub fn code_to_rule(linter: Linter, code: &str) -> Option<Rule> {
     #[allow(clippy::enum_glob_use)]
@@ -47,8 +29,6 @@ pub fn code_to_rule(linter: Linter, code: &str) -> Option<Rule> {
         #[cfg(feature = "logical_lines")]
         (Pycodestyle, "E203") => Rule::WhitespaceBeforePunctuation,
         #[cfg(feature = "logical_lines")]
-        (Pycodestyle, "E211") => Rule::WhitespaceBeforeParameters,
-        #[cfg(feature = "logical_lines")]
         (Pycodestyle, "E221") => Rule::MultipleSpacesBeforeOperator,
         #[cfg(feature = "logical_lines")]
         (Pycodestyle, "E222") => Rule::MultipleSpacesAfterOperator,
@@ -57,16 +37,6 @@ pub fn code_to_rule(linter: Linter, code: &str) -> Option<Rule> {
         #[cfg(feature = "logical_lines")]
         (Pycodestyle, "E224") => Rule::TabAfterOperator,
         #[cfg(feature = "logical_lines")]
-        (Pycodestyle, "E225") => Rule::MissingWhitespaceAroundOperator,
-        #[cfg(feature = "logical_lines")]
-        (Pycodestyle, "E226") => Rule::MissingWhitespaceAroundArithmeticOperator,
-        #[cfg(feature = "logical_lines")]
-        (Pycodestyle, "E227") => Rule::MissingWhitespaceAroundBitwiseOrShiftOperator,
-        #[cfg(feature = "logical_lines")]
-        (Pycodestyle, "E228") => Rule::MissingWhitespaceAroundModuloOperator,
-        #[cfg(feature = "logical_lines")]
-        (Pycodestyle, "E231") => Rule::MissingWhitespace,
-        #[cfg(feature = "logical_lines")]
         (Pycodestyle, "E251") => Rule::UnexpectedSpacesAroundKeywordParameterEquals,
         #[cfg(feature = "logical_lines")]
         (Pycodestyle, "E252") => Rule::MissingWhitespaceAroundParameterEquals,
@@ -177,7 +147,6 @@ pub fn code_to_rule(linter: Linter, code: &str) -> Option<Rule> {
         (Pylint, "E1142") => Rule::AwaitOutsideAsync,
         (Pylint, "R0206") => Rule::PropertyWithParameters,
         (Pylint, "R0402") => Rule::ConsiderUsingFromImport,
-        (Pylint, "C1901") => Rule::CompareToEmptyString,
         (Pylint, "R0133") => Rule::ComparisonOfConstant,
         (Pylint, "R1701") => Rule::ConsiderMergingIsinstance,
         (Pylint, "R1722") => Rule::ConsiderUsingSysExit,
@@ -225,7 +194,6 @@ pub fn code_to_rule(linter: Linter, code: &str) -> Option<Rule> {
         (Flake8Bugbear, "026") => Rule::StarArgUnpackingAfterKeywordArg,
         (Flake8Bugbear, "027") => Rule::EmptyMethodWithoutAbstractDecorator,
         (Flake8Bugbear, "029") => Rule::ExceptWithEmptyTuple,
-        (Flake8Bugbear, "030") => Rule::ExceptWithNonExceptionClasses,
         (Flake8Bugbear, "032") => Rule::UnintentionalTypeAnnotation,
         (Flake8Bugbear, "904") => Rule::RaiseWithoutFromInsideExcept,
         (Flake8Bugbear, "905") => Rule::ZipWithoutExplicitStrict,
@@ -533,7 +501,6 @@ pub fn code_to_rule(linter: Linter, code: &str) -> Option<Rule> {
         (Flake8Pyi, "011") => Rule::TypedArgumentSimpleDefaults,
         (Flake8Pyi, "014") => Rule::ArgumentSimpleDefaults,
         (Flake8Pyi, "021") => Rule::DocstringInStub,
-        (Flake8Pyi, "033") => Rule::TypeCommentInStub,
 
         // flake8-pytest-style
         (Flake8PytestStyle, "001") => Rule::IncorrectFixtureParenthesesStyle,

crates/ruff/src/doc_lines.rs

@@ -7,8 +7,8 @@ use rustpython_parser::ast::{Constant, ExprKind, Stmt, StmtKind, Suite};
 use rustpython_parser::lexer::LexResult;
 use rustpython_parser::Tok;
 
-use ruff_python_ast::visitor;
-use ruff_python_ast::visitor::Visitor;
+use crate::ast::visitor;
+use crate::ast::visitor::Visitor;
 
 /// Extract doc lines (standalone comments) from a token sequence.
 pub fn doc_lines_from_tokens(lxr: &[LexResult]) -> DocLines {

crates/ruff/src/docstrings/definition.rs

@@ -1,6 +1,3 @@
-use ruff_python_ast::visibility::{
-    class_visibility, function_visibility, method_visibility, Modifier, Visibility, VisibleScope,
-};
 use rustpython_parser::ast::{Expr, Stmt};
 
 #[derive(Debug, Clone)]
@@ -33,36 +30,3 @@ pub enum Documentable {
     Class,
     Function,
 }
-
-pub fn transition_scope(scope: &VisibleScope, stmt: &Stmt, kind: &Documentable) -> VisibleScope {
-    match kind {
-        Documentable::Function => VisibleScope {
-            modifier: Modifier::Function,
-            visibility: match scope {
-                VisibleScope {
-                    modifier: Modifier::Module,
-                    visibility: Visibility::Public,
-                } => function_visibility(stmt),
-                VisibleScope {
-                    modifier: Modifier::Class,
-                    visibility: Visibility::Public,
-                } => method_visibility(stmt),
-                _ => Visibility::Private,
-            },
-        },
-        Documentable::Class => VisibleScope {
-            modifier: Modifier::Class,
-            visibility: match scope {
-                VisibleScope {
-                    modifier: Modifier::Module,
-                    visibility: Visibility::Public,
-                } => class_visibility(stmt),
-                VisibleScope {
-                    modifier: Modifier::Class,
-                    visibility: Visibility::Public,
-                } => class_visibility(stmt),
-                _ => Visibility::Private,
-            },
-        },
-    }
-}

crates/ruff/src/docstrings/extraction.rs

@@ -3,7 +3,7 @@
 use rustpython_parser::ast::{Constant, Expr, ExprKind, Stmt, StmtKind};
 
 use crate::docstrings::definition::{Definition, DefinitionKind, Documentable};
-use ruff_python_ast::visibility::{Modifier, VisibleScope};
+use crate::visibility::{Modifier, VisibleScope};
 
 /// Extract a docstring from a function or class body.
 pub fn docstring_from(suite: &[Stmt]) -> Option<&Expr> {

crates/ruff/src/docstrings/google.rs

@@ -1,36 +1,70 @@
 //! Abstractions for Google-style docstrings.
 
-use crate::docstrings::sections::SectionKind;
+use once_cell::sync::Lazy;
+use rustc_hash::FxHashSet;
 
-pub(crate) static GOOGLE_SECTIONS: &[SectionKind] = &[
-    SectionKind::Attributes,
-    SectionKind::Examples,
-    SectionKind::Methods,
-    SectionKind::Notes,
-    SectionKind::Raises,
-    SectionKind::References,
-    SectionKind::Returns,
-    SectionKind::SeeAlso,
-    SectionKind::Yields,
-    // Google-only
-    SectionKind::Args,
-    SectionKind::Arguments,
-    SectionKind::Attention,
-    SectionKind::Caution,
-    SectionKind::Danger,
-    SectionKind::Error,
-    SectionKind::Example,
-    SectionKind::Hint,
-    SectionKind::Important,
-    SectionKind::KeywordArgs,
-    SectionKind::KeywordArguments,
-    SectionKind::Note,
-    SectionKind::Notes,
-    SectionKind::Return,
-    SectionKind::Tip,
-    SectionKind::Todo,
-    SectionKind::Warning,
-    SectionKind::Warnings,
-    SectionKind::Warns,
-    SectionKind::Yield,
-];
+pub(crate) static GOOGLE_SECTION_NAMES: Lazy<FxHashSet<&'static str>> = Lazy::new(|| {
+    FxHashSet::from_iter([
+        "Args",
+        "Arguments",
+        "Attention",
+        "Attributes",
+        "Caution",
+        "Danger",
+        "Error",
+        "Example",
+        "Examples",
+        "Hint",
+        "Important",
+        "Keyword Args",
+        "Keyword Arguments",
+        "Methods",
+        "Note",
+        "Notes",
+        "Return",
+        "Returns",
+        "Raises",
+        "References",
+        "See Also",
+        "Tip",
+        "Todo",
+        "Warning",
+        "Warnings",
+        "Warns",
+        "Yield",
+        "Yields",
+    ])
+});
+
+pub(crate) static LOWERCASE_GOOGLE_SECTION_NAMES: Lazy<FxHashSet<&'static str>> = Lazy::new(|| {
+    FxHashSet::from_iter([
+        "args",
+        "arguments",
+        "attention",
+        "attributes",
+        "caution",
+        "danger",
+        "error",
+        "example",
+        "examples",
+        "hint",
+        "important",
+        "keyword args",
+        "keyword arguments",
+        "methods",
+        "note",
+        "notes",
+        "return",
+        "returns",
+        "raises",
+        "references",
+        "see also",
+        "tip",
+        "todo",
+        "warning",
+        "warnings",
+        "warns",
+        "yield",
+        "yields",
+    ])
+});

crates/ruff/src/docstrings/numpy.rs

@@ -1,20 +1,40 @@
 //! Abstractions for NumPy-style docstrings.
 
-use crate::docstrings::sections::SectionKind;
+use once_cell::sync::Lazy;
+use rustc_hash::FxHashSet;
 
-pub(crate) static NUMPY_SECTIONS: &[SectionKind] = &[
-    SectionKind::Attributes,
-    SectionKind::Examples,
-    SectionKind::Methods,
-    SectionKind::Notes,
-    SectionKind::Raises,
-    SectionKind::References,
-    SectionKind::Returns,
-    SectionKind::SeeAlso,
-    SectionKind::Yields,
-    // NumPy-only
-    SectionKind::ExtendedSummary,
-    SectionKind::OtherParameters,
-    SectionKind::Parameters,
-    SectionKind::ShortSummary,
-];
+pub(crate) static LOWERCASE_NUMPY_SECTION_NAMES: Lazy<FxHashSet<&'static str>> = Lazy::new(|| {
+    FxHashSet::from_iter([
+        "short summary",
+        "extended summary",
+        "parameters",
+        "returns",
+        "yields",
+        "other parameters",
+        "raises",
+        "see also",
+        "notes",
+        "references",
+        "examples",
+        "attributes",
+        "methods",
+    ])
+});
+
+pub(crate) static NUMPY_SECTION_NAMES: Lazy<FxHashSet<&'static str>> = Lazy::new(|| {
+    FxHashSet::from_iter([
+        "Short Summary",
+        "Extended Summary",
+        "Parameters",
+        "Returns",
+        "Yields",
+        "Other Parameters",
+        "Raises",
+        "See Also",
+        "Notes",
+        "References",
+        "Examples",
+        "Attributes",
+        "Methods",
+    ])
+});

crates/ruff/src/docstrings/sections.rs

@@ -1,126 +1,8 @@
-use strum_macros::EnumIter;
-
+use crate::ast::whitespace;
 use crate::docstrings::styles::SectionStyle;
-use ruff_python_ast::whitespace;
-
-#[derive(EnumIter, PartialEq, Eq, Debug, Clone, Copy)]
-pub enum SectionKind {
-    Args,
-    Arguments,
-    Attention,
-    Attributes,
-    Caution,
-    Danger,
-    Error,
-    Example,
-    Examples,
-    ExtendedSummary,
-    Hint,
-    Important,
-    KeywordArgs,
-    KeywordArguments,
-    Methods,
-    Note,
-    Notes,
-    OtherParameters,
-    Parameters,
-    Raises,
-    References,
-    Return,
-    Returns,
-    SeeAlso,
-    ShortSummary,
-    Tip,
-    Todo,
-    Warning,
-    Warnings,
-    Warns,
-    Yield,
-    Yields,
-}
-
-impl SectionKind {
-    pub fn from_str(s: &str) -> Option<Self> {
-        match s.to_ascii_lowercase().as_str() {
-            "args" => Some(Self::Args),
-            "arguments" => Some(Self::Arguments),
-            "attention" => Some(Self::Attention),
-            "attributes" => Some(Self::Attributes),
-            "caution" => Some(Self::Caution),
-            "danger" => Some(Self::Danger),
-            "error" => Some(Self::Error),
-            "example" => Some(Self::Example),
-            "examples" => Some(Self::Examples),
-            "extended summary" => Some(Self::ExtendedSummary),
-            "hint" => Some(Self::Hint),
-            "important" => Some(Self::Important),
-            "keyword args" => Some(Self::KeywordArgs),
-            "keyword arguments" => Some(Self::KeywordArguments),
-            "methods" => Some(Self::Methods),
-            "note" => Some(Self::Note),
-            "notes" => Some(Self::Notes),
-            "other parameters" => Some(Self::OtherParameters),
-            "parameters" => Some(Self::Parameters),
-            "raises" => Some(Self::Raises),
-            "references" => Some(Self::References),
-            "return" => Some(Self::Return),
-            "returns" => Some(Self::Returns),
-            "see also" => Some(Self::SeeAlso),
-            "short summary" => Some(Self::ShortSummary),
-            "tip" => Some(Self::Tip),
-            "todo" => Some(Self::Todo),
-            "warning" => Some(Self::Warning),
-            "warnings" => Some(Self::Warnings),
-            "warns" => Some(Self::Warns),
-            "yield" => Some(Self::Yield),
-            "yields" => Some(Self::Yields),
-            _ => None,
-        }
-    }
-
-    pub fn as_str(self) -> &'static str {
-        match self {
-            Self::Args => "Args",
-            Self::Arguments => "Arguments",
-            Self::Attention => "Attention",
-            Self::Attributes => "Attributes",
-            Self::Caution => "Caution",
-            Self::Danger => "Danger",
-            Self::Error => "Error",
-            Self::Example => "Example",
-            Self::Examples => "Examples",
-            Self::ExtendedSummary => "Extended Summary",
-            Self::Hint => "Hint",
-            Self::Important => "Important",
-            Self::KeywordArgs => "Keyword Args",
-            Self::KeywordArguments => "Keyword Arguments",
-            Self::Methods => "Methods",
-            Self::Note => "Note",
-            Self::Notes => "Notes",
-            Self::OtherParameters => "Other Parameters",
-            Self::Parameters => "Parameters",
-            Self::Raises => "Raises",
-            Self::References => "References",
-            Self::Return => "Return",
-            Self::Returns => "Returns",
-            Self::SeeAlso => "See Also",
-            Self::ShortSummary => "Short Summary",
-            Self::Tip => "Tip",
-            Self::Todo => "Todo",
-            Self::Warning => "Warning",
-            Self::Warnings => "Warnings",
-            Self::Warns => "Warns",
-            Self::Yield => "Yield",
-            Self::Yields => "Yields",
-        }
-    }
-}
 
 #[derive(Debug)]
 pub(crate) struct SectionContext<'a> {
-    /// The "kind" of the section, e.g. "SectionKind::Args" or "SectionKind::Returns".
-    pub(crate) kind: SectionKind,
-    /// The name of the section as it appears in the docstring, e.g. "Args" or "Returns".
     pub(crate) section_name: &'a str,
     pub(crate) previous_line: &'a str,
     pub(crate) line: &'a str,
@@ -129,13 +11,10 @@ pub(crate) struct SectionContext<'a> {
     pub(crate) original_index: usize,
 }
 
-fn suspected_as_section(line: &str, style: &SectionStyle) -> Option<SectionKind> {
-    if let Some(kind) = SectionKind::from_str(whitespace::leading_words(line)) {
-        if style.sections().contains(&kind) {
-            return Some(kind);
-        }
-    }
-    None
+fn suspected_as_section(line: &str, style: &SectionStyle) -> bool {
+    style
+        .lowercase_section_names()
+        .contains(&whitespace::leading_words(line).to_lowercase().as_str())
 }
 
 /// Check if the suspected context is really a section header.
@@ -170,15 +49,21 @@ pub(crate) fn section_contexts<'a>(
     lines: &'a [&'a str],
     style: &SectionStyle,
 ) -> Vec<SectionContext<'a>> {
-    let mut contexts = vec![];
-    for (kind, lineno) in lines
+    let suspected_section_indices: Vec<usize> = lines
         .iter()
         .enumerate()
-        .skip(1)
-        .filter_map(|(lineno, line)| suspected_as_section(line, style).map(|kind| (kind, lineno)))
-    {
+        .filter_map(|(lineno, line)| {
+            if lineno > 0 && suspected_as_section(line, style) {
+                Some(lineno)
+            } else {
+                None
+            }
+        })
+        .collect();
+
+    let mut contexts = vec![];
+    for lineno in suspected_section_indices {
         let context = SectionContext {
-            kind,
             section_name: whitespace::leading_words(lines[lineno]),
             previous_line: lines[lineno - 1],
             line: lines[lineno],
@@ -191,12 +76,11 @@ pub(crate) fn section_contexts<'a>(
         }
     }
 
-    let mut truncated_contexts = Vec::with_capacity(contexts.len());
+    let mut truncated_contexts = vec![];
     let mut end: Option<usize> = None;
     for context in contexts.into_iter().rev() {
         let next_end = context.original_index;
         truncated_contexts.push(SectionContext {
-            kind: context.kind,
             section_name: context.section_name,
             previous_line: context.previous_line,
             line: context.line,

crates/ruff/src/docstrings/styles.rs

@@ -1,6 +1,8 @@
-use crate::docstrings::google::GOOGLE_SECTIONS;
-use crate::docstrings::numpy::NUMPY_SECTIONS;
-use crate::docstrings::sections::SectionKind;
+use once_cell::sync::Lazy;
+use rustc_hash::FxHashSet;
+
+use crate::docstrings::google::{GOOGLE_SECTION_NAMES, LOWERCASE_GOOGLE_SECTION_NAMES};
+use crate::docstrings::numpy::{LOWERCASE_NUMPY_SECTION_NAMES, NUMPY_SECTION_NAMES};
 
 pub(crate) enum SectionStyle {
     Numpy,
@@ -8,10 +10,17 @@ pub(crate) enum SectionStyle {
 }
 
 impl SectionStyle {
-    pub(crate) fn sections(&self) -> &[SectionKind] {
+    pub(crate) fn section_names(&self) -> &Lazy<FxHashSet<&'static str>> {
         match self {
-            SectionStyle::Numpy => NUMPY_SECTIONS,
-            SectionStyle::Google => GOOGLE_SECTIONS,
+            SectionStyle::Numpy => &NUMPY_SECTION_NAMES,
+            SectionStyle::Google => &GOOGLE_SECTION_NAMES,
+        }
+    }
+
+    pub(crate) fn lowercase_section_names(&self) -> &Lazy<FxHashSet<&'static str>> {
+        match self {
+            SectionStyle::Numpy => &LOWERCASE_NUMPY_SECTION_NAMES,
+            SectionStyle::Google => &LOWERCASE_GOOGLE_SECTION_NAMES,
         }
     }
 }

crates/ruff/src/fix.rs

@@ -1,3 +1,6 @@
+use rustpython_parser::ast::Location;
+use serde::{Deserialize, Serialize};
+
 #[derive(Debug, Copy, Clone, Hash)]
 pub enum FixMode {
     Generate,
@@ -15,3 +18,40 @@ impl From<bool> for FixMode {
         }
     }
 }
+
+#[derive(Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Serialize, Deserialize)]
+pub struct Fix {
+    pub content: String,
+    pub location: Location,
+    pub end_location: Location,
+}
+
+impl Fix {
+    pub const fn deletion(start: Location, end: Location) -> Self {
+        Self {
+            content: String::new(),
+            location: start,
+            end_location: end,
+        }
+    }
+
+    pub fn replacement(content: String, start: Location, end: Location) -> Self {
+        debug_assert!(!content.is_empty(), "Prefer `Fix::deletion`");
+
+        Self {
+            content,
+            location: start,
+            end_location: end,
+        }
+    }
+
+    pub fn insertion(content: String, at: Location) -> Self {
+        debug_assert!(!content.is_empty(), "Insert content is empty");
+
+        Self {
+            content,
+            location: at,
+            end_location: at,
+        }
+    }
+}

crates/ruff/src/flake8_to_ruff/converter.rs

@@ -577,7 +577,6 @@ mod tests {
             pydocstyle: Some(pydocstyle::settings::Options {
                 convention: Some(Convention::Numpy),
                 ignore_decorators: None,
-                property_decorators: None,
             }),
             ..default_options([Linter::Pydocstyle.into()])
         });

crates/ruff/src/fs.rs

@@ -1,12 +1,13 @@
+use std::ops::Deref;
 use std::path::{Path, PathBuf};
 
 use anyhow::{anyhow, Result};
-use globset::GlobMatcher;
 use log::debug;
 use path_absolutize::{path_dedot, Absolutize};
 use rustc_hash::FxHashSet;
 
 use crate::registry::Rule;
+use crate::settings::hashable::{HashableGlobMatcher, HashableHashSet};
 
 /// Extract the absolute path and basename (as strings) from a Path.
 pub fn extract_path_names(path: &Path) -> Result<(&str, &str)> {
@@ -24,7 +25,11 @@ pub fn extract_path_names(path: &Path) -> Result<(&str, &str)> {
 /// Create a set with codes matching the pattern/code pairs.
 pub(crate) fn ignores_from_path<'a>(
     path: &Path,
-    pattern_code_pairs: &'a [(GlobMatcher, GlobMatcher, FxHashSet<Rule>)],
+    pattern_code_pairs: &'a [(
+        HashableGlobMatcher,
+        HashableGlobMatcher,
+        HashableHashSet<Rule>,
+    )],
 ) -> FxHashSet<&'a Rule> {
     let (file_path, file_basename) = extract_path_names(path).expect("Unable to parse filename");
     pattern_code_pairs
@@ -34,8 +39,8 @@ pub(crate) fn ignores_from_path<'a>(
                 debug!(
                     "Adding per-file ignores for {:?} due to basename match on {:?}: {:?}",
                     path,
-                    basename.glob().regex(),
-                    codes
+                    basename.deref().glob().regex(),
+                    &**codes
                 );
                 return Some(codes.iter());
             }
@@ -43,8 +48,8 @@ pub(crate) fn ignores_from_path<'a>(
                 debug!(
                     "Adding per-file ignores for {:?} due to absolute match on {:?}: {:?}",
                     path,
-                    absolute.glob().regex(),
-                    codes
+                    absolute.deref().glob().regex(),
+                    &**codes
                 );
                 return Some(codes.iter());
             }

crates/ruff/src/lib.rs

@@ -5,16 +5,19 @@
 //!
 //! [Ruff]: https://github.com/charliermarsh/ruff
 
-pub use ruff_python_ast::source_code::round_trip;
-pub use ruff_python_ast::types::Range;
+pub use ast::types::Range;
+use cfg_if::cfg_if;
 pub use rule_selector::RuleSelector;
 pub use rules::pycodestyle::rules::IOError;
+pub use violation::{AutofixKind, Availability as AutofixAvailability};
 
+mod ast;
 mod autofix;
+pub mod cache;
 mod checkers;
 mod codes;
 mod cst;
-pub mod directives;
+mod directives;
 mod doc_lines;
 mod docstrings;
 pub mod fix;
@@ -25,13 +28,24 @@ pub mod linter;
 pub mod logging;
 pub mod message;
 mod noqa;
-pub mod packaging;
 pub mod registry;
 pub mod resolver;
 mod rule_redirects;
 mod rule_selector;
-pub mod rules;
+mod rules;
 pub mod settings;
+pub mod source_code;
+mod violation;
+mod visibility;
+
+cfg_if! {
+    if #[cfg(target_family = "wasm")] {
+        mod lib_wasm;
+        pub use lib_wasm::check;
+    } else {
+        pub mod packaging;
+    }
+}
 
 #[cfg(test)]
 mod test;

crates/ruff/src/lib_wasm.rs

@@ -2,22 +2,22 @@ use std::path::Path;
 
 use rustpython_parser::ast::Location;
 use rustpython_parser::lexer::LexResult;
-use serde::{Deserialize, Serialize};
+use serde::Serialize;
 use wasm_bindgen::prelude::*;
 
-use ruff::directives;
-use ruff::linter::{check_path, LinterResult};
-use ruff::registry::AsRule;
-use ruff::rules::{
+use crate::directives;
+use crate::linter::{check_path, LinterResult};
+use crate::registry::Rule;
+use crate::rules::{
     flake8_annotations, flake8_bandit, flake8_bugbear, flake8_builtins, flake8_comprehensions,
     flake8_errmsg, flake8_implicit_str_concat, flake8_import_conventions, flake8_pytest_style,
     flake8_quotes, flake8_self, flake8_tidy_imports, flake8_type_checking, flake8_unused_arguments,
     isort, mccabe, pep8_naming, pycodestyle, pydocstyle, pylint, pyupgrade,
 };
-use ruff::settings::configuration::Configuration;
-use ruff::settings::options::Options;
-use ruff::settings::{defaults, flags, Settings};
-use ruff_python_ast::source_code::{Indexer, Locator, Stylist};
+use crate::settings::configuration::Configuration;
+use crate::settings::options::Options;
+use crate::settings::{defaults, flags, Settings};
+use crate::source_code::{Indexer, Locator, Stylist};
 
 const VERSION: &str = env!("CARGO_PKG_VERSION");
 
@@ -49,17 +49,34 @@ export interface Diagnostic {
 };
 "#;
 
-#[derive(Serialize, Deserialize, Eq, PartialEq, Debug)]
-pub struct ExpandedMessage {
-    pub code: String,
-    pub message: String,
-    pub location: Location,
-    pub end_location: Location,
-    pub fix: Option<ExpandedFix>,
+#[derive(Serialize)]
+struct ExpandedMessage {
+    code: SerializeRuleAsCode,
+    message: String,
+    location: Location,
+    end_location: Location,
+    fix: Option<ExpandedFix>,
 }
 
-#[derive(Serialize, Deserialize, Eq, PartialEq, Debug)]
-pub struct ExpandedFix {
+struct SerializeRuleAsCode(Rule);
+
+impl Serialize for SerializeRuleAsCode {
+    fn serialize<S>(&self, serializer: S) -> std::result::Result<S::Ok, S::Error>
+    where
+        S: serde::Serializer,
+    {
+        serializer.serialize_str(&self.0.noqa_code().to_string())
+    }
+}
+
+impl From<Rule> for SerializeRuleAsCode {
+    fn from(rule: Rule) -> Self {
+        Self(rule)
+    }
+}
+
+#[derive(Serialize)]
+struct ExpandedFix {
     content: String,
     message: Option<String>,
     location: Location,
@@ -69,16 +86,7 @@ pub struct ExpandedFix {
 #[wasm_bindgen(start)]
 pub fn run() {
     use log::Level;
-
-    // When the `console_error_panic_hook` feature is enabled, we can call the
-    // `set_panic_hook` function at least once during initialization, and then
-    // we will get better error messages if our code ever panics.
-    //
-    // For more details see
-    // https://github.com/rustwasm/console_error_panic_hook#readme
-    #[cfg(feature = "console_error_panic_hook")]
     console_error_panic_hook::set_once();
-
     console_log::init_with_level(Level::Debug).expect("Initializing logger went wrong.");
 }
 
@@ -199,14 +207,14 @@ pub fn check(contents: &str, options: JsValue) -> Result<JsValue, JsValue> {
 
     let messages: Vec<ExpandedMessage> = diagnostics
         .into_iter()
-        .map(|message| ExpandedMessage {
-            code: message.kind.rule().noqa_code().to_string(),
-            message: message.kind.body,
-            location: message.location,
-            end_location: message.end_location,
-            fix: message.fix.map(|fix| ExpandedFix {
+        .map(|diagnostic| ExpandedMessage {
+            code: diagnostic.kind.rule().clone().into(),
+            message: diagnostic.kind.body(),
+            location: diagnostic.location,
+            end_location: diagnostic.end_location,
+            fix: diagnostic.fix.map(|fix| ExpandedFix {
                 content: fix.content,
-                message: message.kind.suggestion,
+                message: diagnostic.kind.commit(),
                 location: fix.location,
                 end_location: fix.end_location,
             }),
@@ -215,3 +223,55 @@ pub fn check(contents: &str, options: JsValue) -> Result<JsValue, JsValue> {
 
     Ok(serde_wasm_bindgen::to_value(&messages)?)
 }
+
+#[cfg(test)]
+mod test {
+    use js_sys;
+    use wasm_bindgen_test::*;
+
+    use super::*;
+
+    macro_rules! check {
+        ($source:expr, $config:expr, $expected:expr) => {{
+            let foo = js_sys::JSON::parse($config).unwrap();
+            match check($source, foo) {
+                Ok(output) => {
+                    let result: Vec<Message> = serde_wasm_bindgen::from_value(output).unwrap();
+                    assert_eq!(result, $expected);
+                }
+                Err(e) => assert!(false, "{:#?}", e),
+            }
+        }};
+    }
+
+    #[wasm_bindgen_test]
+    fn empty_config() {
+        check!(
+            "if (1, 2): pass",
+            r#"{}"#,
+            [ExpandedMessage {
+                code: Rule::IfTuple.into(),
+                message: "If test is a tuple, which is always `True`".to_string(),
+                location: Location::new(1, 0),
+                end_location: Location::new(1, 15),
+                fix: None,
+            }]
+        );
+    }
+
+    #[wasm_bindgen_test]
+    fn partial_config() {
+        check!("if (1, 2): pass", r#"{"ignore": ["F"]}"#, []);
+    }
+
+    #[wasm_bindgen_test]
+    fn partial_nested_config() {
+        let config = r#"{
+          "select": ["Q"],
+          "flake8-quotes": {
+            "inline-quotes": "single"
+          }
+        }"#;
+        check!(r#"print('hello world')"#, config, []);
+    }
+}

crates/ruff/src/linter.rs

@@ -8,10 +8,6 @@ use rustc_hash::FxHashMap;
 use rustpython_parser::lexer::LexResult;
 use rustpython_parser::ParseError;
 
-use ruff_diagnostics::Diagnostic;
-use ruff_python_ast::source_code::{Indexer, Locator, Stylist};
-use ruff_python_stdlib::path::is_python_stub_file;
-
 use crate::autofix::fix_file;
 use crate::checkers::ast::check_ast;
 use crate::checkers::filesystem::check_file_path;
@@ -24,9 +20,10 @@ use crate::directives::Directives;
 use crate::doc_lines::{doc_lines_from_ast, doc_lines_from_tokens};
 use crate::message::{Message, Source};
 use crate::noqa::{add_noqa, rule_is_ignored};
-use crate::registry::{AsRule, Rule};
+use crate::registry::{Diagnostic, Rule};
 use crate::rules::pycodestyle;
 use crate::settings::{flags, Settings};
+use crate::source_code::{Indexer, Locator, Stylist};
 use crate::{directives, fs};
 
 const CARGO_PKG_NAME: &str = env!("CARGO_PKG_NAME");
@@ -86,8 +83,7 @@ pub fn check_path(
         .iter_enabled()
         .any(|rule_code| rule_code.lint_source().is_tokens())
     {
-        let is_stub = is_python_stub_file(path);
-        diagnostics.extend(check_tokens(locator, &tokens, settings, autofix, is_stub));
+        diagnostics.extend(check_tokens(locator, &tokens, settings, autofix));
     }
 
     // Run the filesystem-based rules.
@@ -105,13 +101,7 @@ pub fn check_path(
         .iter_enabled()
         .any(|rule_code| rule_code.lint_source().is_logical_lines())
     {
-        diagnostics.extend(check_logical_lines(
-            &tokens,
-            locator,
-            stylist,
-            settings,
-            flags::Autofix::Enabled,
-        ));
+        diagnostics.extend(check_logical_lines(&tokens, locator, stylist, settings));
     }
 
     // Run the AST-based rules.
@@ -204,7 +194,7 @@ pub fn check_path(
     if !diagnostics.is_empty() && !settings.per_file_ignores.is_empty() {
         let ignores = fs::ignores_from_path(path, &settings.per_file_ignores);
         if !ignores.is_empty() {
-            diagnostics.retain(|diagnostic| !ignores.contains(diagnostic.kind.rule()));
+            diagnostics.retain(|diagnostic| !ignores.contains(&diagnostic.kind.rule()));
         }
     };
 

crates/ruff/src/message.rs

@@ -3,9 +3,10 @@ use std::cmp::Ordering;
 pub use rustpython_parser::ast::Location;
 use serde::{Deserialize, Serialize};
 
-use ruff_diagnostics::{Diagnostic, DiagnosticKind, Fix};
-use ruff_python_ast::source_code::Locator;
-use ruff_python_ast::types::Range;
+use crate::ast::types::Range;
+use crate::fix::Fix;
+use crate::registry::{Diagnostic, DiagnosticKind};
+use crate::source_code::Locator;
 
 #[derive(Debug, PartialEq, Eq, Serialize, Deserialize)]
 pub struct Message {
@@ -73,9 +74,9 @@ impl Source {
         } else {
             Location::new(diagnostic.end_location.row() + 1, 0)
         };
-        let source = locator.slice(Range::new(location, end_location));
+        let source = locator.slice(&Range::new(location, end_location));
         let num_chars_in_range = locator
-            .slice(Range::new(diagnostic.location, diagnostic.end_location))
+            .slice(&Range::new(diagnostic.location, diagnostic.end_location))
             .chars()
             .count();
         Source {

crates/ruff/src/noqa.rs

@@ -11,13 +11,11 @@ use regex::Regex;
 use rustc_hash::{FxHashMap, FxHashSet};
 use rustpython_parser::ast::Location;
 
-use ruff_diagnostics::Diagnostic;
-use ruff_python_ast::source_code::{LineEnding, Locator};
-use ruff_python_ast::types::Range;
-
+use crate::ast::types::Range;
 use crate::codes::NoqaCode;
-use crate::registry::{AsRule, Rule};
+use crate::registry::{Diagnostic, Rule};
 use crate::rule_redirects::get_redirect_target;
+use crate::source_code::{LineEnding, Locator};
 
 static NOQA_LINE_REGEX: Lazy<Regex> = Lazy::new(|| {
     Regex::new(
@@ -128,7 +126,7 @@ pub fn rule_is_ignored(
     locator: &Locator,
 ) -> bool {
     let noqa_lineno = noqa_line_for.get(&lineno).unwrap_or(&lineno);
-    let line = locator.slice(Range::new(
+    let line = locator.slice(&Range::new(
         Location::new(*noqa_lineno, 0),
         Location::new(noqa_lineno + 1, 0),
     ));
@@ -334,13 +332,12 @@ mod tests {
     use nohash_hasher::IntMap;
     use rustpython_parser::ast::Location;
 
-    use ruff_diagnostics::Diagnostic;
-    use ruff_python_ast::source_code::LineEnding;
-    use ruff_python_ast::types::Range;
-
+    use crate::ast::types::Range;
     use crate::noqa::{add_noqa_inner, NOQA_LINE_REGEX};
+    use crate::registry::Diagnostic;
     use crate::rules::pycodestyle::rules::AmbiguousVariableName;
     use crate::rules::pyflakes;
+    use crate::source_code::LineEnding;
 
     #[test]
     fn regex() {

crates/ruff/src/registry.rs

@@ -1,12 +1,15 @@
-//! Registry of all [`Rule`] implementations.
+//! Registry of [`Rule`] to [`DiagnosticKind`] mappings.
 
+use ruff_macros::RuleNamespace;
+use rustpython_parser::ast::Location;
+use serde::{Deserialize, Serialize};
 use strum_macros::{AsRefStr, EnumIter};
 
-use ruff_diagnostics::Violation;
-use ruff_macros::RuleNamespace;
-
+use crate::ast::types::Range;
 use crate::codes::{self, RuleCodePrefix};
+use crate::fix::Fix;
 use crate::rules;
+use crate::violation::Violation;
 
 ruff_macros::register_rules!(
     // pycodestyle errors
@@ -50,28 +53,16 @@ ruff_macros::register_rules!(
     #[cfg(feature = "logical_lines")]
     rules::pycodestyle::rules::MultipleSpacesAfterKeyword,
     #[cfg(feature = "logical_lines")]
-    rules::pycodestyle::rules::MissingWhitespace,
-    #[cfg(feature = "logical_lines")]
     rules::pycodestyle::rules::MissingWhitespaceAfterKeyword,
     #[cfg(feature = "logical_lines")]
     rules::pycodestyle::rules::MultipleSpacesBeforeKeyword,
     #[cfg(feature = "logical_lines")]
-    rules::pycodestyle::rules::MissingWhitespaceAroundOperator,
-    #[cfg(feature = "logical_lines")]
-    rules::pycodestyle::rules::MissingWhitespaceAroundArithmeticOperator,
-    #[cfg(feature = "logical_lines")]
-    rules::pycodestyle::rules::MissingWhitespaceAroundBitwiseOrShiftOperator,
-    #[cfg(feature = "logical_lines")]
-    rules::pycodestyle::rules::MissingWhitespaceAroundModuloOperator,
-    #[cfg(feature = "logical_lines")]
     rules::pycodestyle::rules::TabAfterKeyword,
     #[cfg(feature = "logical_lines")]
     rules::pycodestyle::rules::UnexpectedSpacesAroundKeywordParameterEquals,
     #[cfg(feature = "logical_lines")]
     rules::pycodestyle::rules::MissingWhitespaceAroundParameterEquals,
     #[cfg(feature = "logical_lines")]
-    rules::pycodestyle::rules::WhitespaceBeforeParameters,
-    #[cfg(feature = "logical_lines")]
     rules::pycodestyle::rules::TabBeforeKeyword,
     rules::pycodestyle::rules::MultipleImportsOnOneLine,
     rules::pycodestyle::rules::ModuleImportNotAtTopOfFile,
@@ -158,7 +149,6 @@ ruff_macros::register_rules!(
     rules::pylint::rules::PropertyWithParameters,
     rules::pylint::rules::ReturnInInit,
     rules::pylint::rules::ConsiderUsingFromImport,
-    rules::pylint::rules::CompareToEmptyString,
     rules::pylint::rules::ComparisonOfConstant,
     rules::pylint::rules::ConsiderMergingIsinstance,
     rules::pylint::rules::ConsiderUsingSysExit,
@@ -207,7 +197,6 @@ ruff_macros::register_rules!(
     rules::flake8_bugbear::rules::RaiseWithoutFromInsideExcept,
     rules::flake8_bugbear::rules::ZipWithoutExplicitStrict,
     rules::flake8_bugbear::rules::ExceptWithEmptyTuple,
-    rules::flake8_bugbear::rules::ExceptWithNonExceptionClasses,
     rules::flake8_bugbear::rules::UnintentionalTypeAnnotation,
     // flake8-blind-except
     rules::flake8_blind_except::rules::BlindExcept,
@@ -486,7 +475,6 @@ ruff_macros::register_rules!(
     rules::flake8_pyi::rules::DocstringInStub,
     rules::flake8_pyi::rules::TypedArgumentSimpleDefaults,
     rules::flake8_pyi::rules::ArgumentSimpleDefaults,
-    rules::flake8_pyi::rules::TypeCommentInStub,
     // flake8-pytest-style
     rules::flake8_pytest_style::rules::IncorrectFixtureParenthesesStyle,
     rules::flake8_pytest_style::rules::FixturePositionalArgs,
@@ -608,20 +596,6 @@ ruff_macros::register_rules!(
     rules::flake8_django::rules::NonLeadingReceiverDecorator,
 );
 
-impl Rule {
-    pub fn from_code(code: &str) -> Result<Self, FromCodeError> {
-        let (linter, code) = Linter::parse_code(code).ok_or(FromCodeError::Unknown)?;
-        let prefix: RuleCodePrefix = RuleCodePrefix::parse(&linter, code)?;
-        Ok(prefix.into_iter().next().unwrap())
-    }
-}
-
-#[derive(thiserror::Error, Debug)]
-pub enum FromCodeError {
-    #[error("unknown rule code")]
-    Unknown,
-}
-
 #[derive(EnumIter, Debug, PartialEq, Eq, Clone, Hash, RuleNamespace)]
 pub enum Linter {
     /// [Pyflakes](https://pypi.org/project/pyflakes/)
@@ -854,26 +828,19 @@ impl Rule {
             | Rule::MultipleStatementsOnOneLineColon
             | Rule::UselessSemicolon
             | Rule::MultipleStatementsOnOneLineSemicolon
-            | Rule::TrailingCommaProhibited
-            | Rule::TypeCommentInStub => &LintSource::Tokens,
+            | Rule::TrailingCommaProhibited => &LintSource::Tokens,
             Rule::IOError => &LintSource::Io,
             Rule::UnsortedImports | Rule::MissingRequiredImport => &LintSource::Imports,
             Rule::ImplicitNamespacePackage | Rule::InvalidModuleName => &LintSource::Filesystem,
             #[cfg(feature = "logical_lines")]
             Rule::IndentationWithInvalidMultiple
             | Rule::IndentationWithInvalidMultipleComment
-            | Rule::MissingWhitespace
-            | Rule::MissingWhitespaceAfterKeyword
-            | Rule::MissingWhitespaceAroundArithmeticOperator
-            | Rule::MissingWhitespaceAroundBitwiseOrShiftOperator
-            | Rule::MissingWhitespaceAroundModuloOperator
-            | Rule::MissingWhitespaceAroundOperator
-            | Rule::MissingWhitespaceAroundParameterEquals
             | Rule::MultipleLeadingHashesForBlockComment
             | Rule::MultipleSpacesAfterKeyword
             | Rule::MultipleSpacesAfterOperator
             | Rule::MultipleSpacesBeforeKeyword
             | Rule::MultipleSpacesBeforeOperator
+            | Rule::MissingWhitespaceAfterKeyword
             | Rule::NoIndentedBlock
             | Rule::NoIndentedBlockComment
             | Rule::NoSpaceAfterBlockComment
@@ -886,16 +853,47 @@ impl Rule {
             | Rule::TooFewSpacesBeforeInlineComment
             | Rule::UnexpectedIndentation
             | Rule::UnexpectedIndentationComment
-            | Rule::UnexpectedSpacesAroundKeywordParameterEquals
             | Rule::WhitespaceAfterOpenBracket
             | Rule::WhitespaceBeforeCloseBracket
-            | Rule::WhitespaceBeforeParameters
+            | Rule::UnexpectedSpacesAroundKeywordParameterEquals
+            | Rule::MissingWhitespaceAroundParameterEquals
             | Rule::WhitespaceBeforePunctuation => &LintSource::LogicalLines,
             _ => &LintSource::Ast,
         }
     }
 }
 
+#[derive(Debug, PartialEq, Eq, Serialize, Deserialize)]
+pub struct Diagnostic {
+    pub kind: DiagnosticKind,
+    pub location: Location,
+    pub end_location: Location,
+    pub fix: Option<Fix>,
+    pub parent: Option<Location>,
+}
+
+impl Diagnostic {
+    pub fn new<K: Into<DiagnosticKind>>(kind: K, range: Range) -> Self {
+        Self {
+            kind: kind.into(),
+            location: range.location,
+            end_location: range.end_location,
+            fix: None,
+            parent: None,
+        }
+    }
+
+    pub fn amend(&mut self, fix: Fix) -> &mut Self {
+        self.fix = Some(fix);
+        self
+    }
+
+    pub fn parent(&mut self, parent: Location) -> &mut Self {
+        self.parent = Some(parent);
+        self
+    }
+}
+
 /// Pairs of checks that shouldn't be enabled together.
 pub const INCOMPATIBLE_CODES: &[(Rule, Rule, &str); 2] = &[
     (

crates/ruff/src/resolver.rs

@@ -10,7 +10,6 @@ use ignore::{DirEntry, WalkBuilder, WalkState};
 use itertools::Itertools;
 use log::debug;
 use path_absolutize::path_dedot;
-use ruff_python_stdlib::path::is_python_file;
 use rustc_hash::FxHashSet;
 
 use crate::fs;
@@ -127,8 +126,7 @@ pub fn resolve_configuration(
         }
 
         // Resolve the current path.
-        let options = pyproject::load_options(&path)
-            .map_err(|err| anyhow!("Failed to parse `{}`: {}", path.to_string_lossy(), err))?;
+        let options = pyproject::load_options(&path)?;
         let project_root = relativity.resolve(&path);
         let configuration = Configuration::from_options(options, &project_root)?;
 
@@ -193,9 +191,20 @@ fn match_exclusion(file_path: &str, file_basename: &str, exclusion: &globset::Gl
     exclusion.is_match(file_path) || exclusion.is_match(file_basename)
 }
 
+/// Return `true` if the [`Path`] appears to be that of a Python file.
+fn is_python_path(path: &Path) -> bool {
+    path.extension()
+        .map_or(false, |ext| ext == "py" || ext == "pyi")
+}
+
+/// Return `true` if the [`Path`] appears to be that of a Python interface definition file (`.pyi`).
+pub fn is_interface_definition_path(path: &Path) -> bool {
+    path.extension().map_or(false, |ext| ext == "pyi")
+}
+
 /// Return `true` if the [`DirEntry`] appears to be that of a Python file.
 pub fn is_python_entry(entry: &DirEntry) -> bool {
-    is_python_file(entry.path())
+    is_python_path(entry.path())
         && !entry
             .file_type()
             .map_or(false, |file_type| file_type.is_dir())
@@ -421,13 +430,28 @@ mod tests {
 
     use crate::fs;
     use crate::resolver::{
-        is_file_excluded, match_exclusion, resolve_settings_with_processor, NoOpProcessor,
-        PyprojectDiscovery, Relativity, Resolver,
+        is_file_excluded, is_python_path, match_exclusion, resolve_settings_with_processor,
+        NoOpProcessor, PyprojectDiscovery, Relativity, Resolver,
     };
     use crate::settings::pyproject::find_settings_toml;
     use crate::settings::types::FilePattern;
     use crate::test::test_resource_path;
 
+    #[test]
+    fn inclusions() {
+        let path = Path::new("foo/bar/baz.py").absolutize().unwrap();
+        assert!(is_python_path(&path));
+
+        let path = Path::new("foo/bar/baz.pyi").absolutize().unwrap();
+        assert!(is_python_path(&path));
+
+        let path = Path::new("foo/bar/baz.js").absolutize().unwrap();
+        assert!(!is_python_path(&path));
+
+        let path = Path::new("foo/bar/baz").absolutize().unwrap();
+        assert!(!is_python_path(&path));
+    }
+
     fn make_exclusion(file_pattern: FilePattern) -> GlobSet {
         let mut builder = globset::GlobSetBuilder::new();
         file_pattern.add_to(&mut builder).unwrap();

crates/ruff/src/rule_selector.rs

@@ -51,7 +51,7 @@ impl FromStr for RuleSelector {
 
             Ok(Self::Prefix {
                 prefix: RuleCodePrefix::parse(&linter, code)
-                    .map_err(|_| ParseError::Unknown(s.to_string()))?,
+                    .map_err(|_| ParseError::Unknown(code.to_string()))?,
                 redirected_from,
             })
         }
@@ -60,7 +60,7 @@ impl FromStr for RuleSelector {
 
 #[derive(Debug, thiserror::Error)]
 pub enum ParseError {
-    #[error("Unknown rule selector: `{0}`")]
+    #[error("Unknown rule selector `{0}`")]
     // TODO(martin): tell the user how to discover rule codes via the CLI once such a command is
     // implemented (but that should of course be done only in ruff_cli and not here)
     Unknown(String),
@@ -184,20 +184,6 @@ impl JsonSchema for RuleSelector {
                 std::iter::once("ALL".to_string())
                     .chain(
                         RuleCodePrefix::iter()
-                            .filter(|p| {
-                                // Once logical lines are active by default, please remove this.
-                                // This is here because generate-all output otherwise depends on
-                                // the feature sets which makes the test running with
-                                // `--all-features` fail
-                                !Rule::from_code(&format!(
-                                    "{}{}",
-                                    p.linter().common_prefix(),
-                                    p.short_code()
-                                ))
-                                .unwrap()
-                                .lint_source()
-                                .is_logical_lines()
-                            })
                             .map(|p| {
                                 let prefix = p.linter().common_prefix();
                                 let code = p.short_code();

crates/ruff/src/rules/eradicate/rules.rs

@@ -1,29 +1,28 @@
+use ruff_macros::{define_violation, derive_message_formats};
 use rustpython_parser::ast::Location;
 
-use ruff_diagnostics::{AlwaysAutofixableViolation, Diagnostic, Fix};
-use ruff_macros::{derive_message_formats, violation};
-use ruff_python_ast::source_code::Locator;
-use ruff_python_ast::types::Range;
-
-use crate::registry::Rule;
-use crate::settings::{flags, Settings};
-
 use super::detection::comment_contains_code;
+use crate::ast::types::Range;
+use crate::fix::Fix;
+use crate::registry::{Diagnostic, Rule};
+use crate::settings::{flags, Settings};
+use crate::source_code::Locator;
+use crate::violation::AlwaysAutofixableViolation;
 
-/// ## What it does
-/// Checks for commented-out Python code.
-///
-/// ## Why is this bad?
-/// Commented-out code is dead code, and is often included inadvertently.
-/// It should be removed.
-///
-/// ## Example
-/// ```python
-/// # print('foo')
-/// ```
-#[violation]
-pub struct CommentedOutCode;
-
+define_violation!(
+    /// ## What it does
+    /// Checks for commented-out Python code.
+    ///
+    /// ## Why is this bad?
+    /// Commented-out code is dead code, and is often included inadvertently.
+    /// It should be removed.
+    ///
+    /// ## Example
+    /// ```python
+    /// # print('foo')
+    /// ```
+    pub struct CommentedOutCode;
+);
 impl AlwaysAutofixableViolation for CommentedOutCode {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -56,7 +55,7 @@ pub fn commented_out_code(
 ) -> Option<Diagnostic> {
     let location = Location::new(start.row(), 0);
     let end_location = Location::new(end.row() + 1, 0);
-    let line = locator.slice(Range::new(location, end_location));
+    let line = locator.slice(&Range::new(location, end_location));
 
     // Verify that the comment is on its own line, and that it contains code.
     if is_standalone_comment(line) && comment_contains_code(line, &settings.task_tags[..]) {

crates/ruff/src/rules/eradicate/snapshots/ruff__rules__eradicate__tests__ERA001_ERA001.py.snap

@@ -3,10 +3,7 @@ source: crates/ruff/src/rules/eradicate/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: CommentedOutCode
-    body: Found commented-out code
-    suggestion: Remove commented-out code
-    fixable: true
+    CommentedOutCode: ~
   location:
     row: 1
     column: 0
@@ -23,10 +20,7 @@ expression: diagnostics
       column: 0
   parent: ~
 - kind:
-    name: CommentedOutCode
-    body: Found commented-out code
-    suggestion: Remove commented-out code
-    fixable: true
+    CommentedOutCode: ~
   location:
     row: 2
     column: 0
@@ -43,10 +37,7 @@ expression: diagnostics
       column: 0
   parent: ~
 - kind:
-    name: CommentedOutCode
-    body: Found commented-out code
-    suggestion: Remove commented-out code
-    fixable: true
+    CommentedOutCode: ~
   location:
     row: 3
     column: 0
@@ -63,10 +54,7 @@ expression: diagnostics
       column: 0
   parent: ~
 - kind:
-    name: CommentedOutCode
-    body: Found commented-out code
-    suggestion: Remove commented-out code
-    fixable: true
+    CommentedOutCode: ~
   location:
     row: 5
     column: 0
@@ -83,10 +71,7 @@ expression: diagnostics
       column: 0
   parent: ~
 - kind:
-    name: CommentedOutCode
-    body: Found commented-out code
-    suggestion: Remove commented-out code
-    fixable: true
+    CommentedOutCode: ~
   location:
     row: 12
     column: 4

crates/ruff/src/rules/flake8_2020/rules.rs

@@ -1,16 +1,15 @@
 use num_bigint::BigInt;
+use ruff_macros::{define_violation, derive_message_formats};
 use rustpython_parser::ast::{Cmpop, Constant, Expr, ExprKind, Located};
 
-use ruff_diagnostics::{Diagnostic, Violation};
-use ruff_macros::{derive_message_formats, violation};
-use ruff_python_ast::types::Range;
-
+use crate::ast::types::Range;
 use crate::checkers::ast::Checker;
-use crate::registry::Rule;
-
-#[violation]
-pub struct SysVersionSlice3Referenced;
+use crate::registry::{Diagnostic, Rule};
+use crate::violation::Violation;
 
+define_violation!(
+    pub struct SysVersionSlice3Referenced;
+);
 impl Violation for SysVersionSlice3Referenced {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -18,9 +17,9 @@ impl Violation for SysVersionSlice3Referenced {
     }
 }
 
-#[violation]
-pub struct SysVersion2Referenced;
-
+define_violation!(
+    pub struct SysVersion2Referenced;
+);
 impl Violation for SysVersion2Referenced {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -28,9 +27,9 @@ impl Violation for SysVersion2Referenced {
     }
 }
 
-#[violation]
-pub struct SysVersionCmpStr3;
-
+define_violation!(
+    pub struct SysVersionCmpStr3;
+);
 impl Violation for SysVersionCmpStr3 {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -38,9 +37,9 @@ impl Violation for SysVersionCmpStr3 {
     }
 }
 
-#[violation]
-pub struct SysVersionInfo0Eq3Referenced;
-
+define_violation!(
+    pub struct SysVersionInfo0Eq3Referenced;
+);
 impl Violation for SysVersionInfo0Eq3Referenced {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -48,9 +47,9 @@ impl Violation for SysVersionInfo0Eq3Referenced {
     }
 }
 
-#[violation]
-pub struct SixPY3Referenced;
-
+define_violation!(
+    pub struct SixPY3Referenced;
+);
 impl Violation for SixPY3Referenced {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -58,9 +57,9 @@ impl Violation for SixPY3Referenced {
     }
 }
 
-#[violation]
-pub struct SysVersionInfo1CmpInt;
-
+define_violation!(
+    pub struct SysVersionInfo1CmpInt;
+);
 impl Violation for SysVersionInfo1CmpInt {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -71,9 +70,9 @@ impl Violation for SysVersionInfo1CmpInt {
     }
 }
 
-#[violation]
-pub struct SysVersionInfoMinorCmpInt;
-
+define_violation!(
+    pub struct SysVersionInfoMinorCmpInt;
+);
 impl Violation for SysVersionInfoMinorCmpInt {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -84,9 +83,9 @@ impl Violation for SysVersionInfoMinorCmpInt {
     }
 }
 
-#[violation]
-pub struct SysVersion0Referenced;
-
+define_violation!(
+    pub struct SysVersion0Referenced;
+);
 impl Violation for SysVersion0Referenced {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -94,9 +93,9 @@ impl Violation for SysVersion0Referenced {
     }
 }
 
-#[violation]
-pub struct SysVersionCmpStr10;
-
+define_violation!(
+    pub struct SysVersionCmpStr10;
+);
 impl Violation for SysVersionCmpStr10 {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -104,9 +103,9 @@ impl Violation for SysVersionCmpStr10 {
     }
 }
 
-#[violation]
-pub struct SysVersionSlice1Referenced;
-
+define_violation!(
+    pub struct SysVersionSlice1Referenced;
+);
 impl Violation for SysVersionSlice1Referenced {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -116,7 +115,6 @@ impl Violation for SysVersionSlice1Referenced {
 
 fn is_sys(checker: &Checker, expr: &Expr, target: &str) -> bool {
     checker
-        .ctx
         .resolve_call_path(expr)
         .map_or(false, |call_path| call_path.as_slice() == ["sys", target])
 }
@@ -144,7 +142,7 @@ pub fn subscript(checker: &mut Checker, value: &Expr, slice: &Expr) {
                     {
                         checker.diagnostics.push(Diagnostic::new(
                             SysVersionSlice1Referenced,
-                            Range::from(value),
+                            Range::from_located(value),
                         ));
                     } else if *i == BigInt::from(3)
                         && checker
@@ -154,7 +152,7 @@ pub fn subscript(checker: &mut Checker, value: &Expr, slice: &Expr) {
                     {
                         checker.diagnostics.push(Diagnostic::new(
                             SysVersionSlice3Referenced,
-                            Range::from(value),
+                            Range::from_located(value),
                         ));
                     }
                 }
@@ -167,15 +165,17 @@ pub fn subscript(checker: &mut Checker, value: &Expr, slice: &Expr) {
                 if *i == BigInt::from(2)
                     && checker.settings.rules.enabled(&Rule::SysVersion2Referenced)
                 {
-                    checker
-                        .diagnostics
-                        .push(Diagnostic::new(SysVersion2Referenced, Range::from(value)));
+                    checker.diagnostics.push(Diagnostic::new(
+                        SysVersion2Referenced,
+                        Range::from_located(value),
+                    ));
                 } else if *i == BigInt::from(0)
                     && checker.settings.rules.enabled(&Rule::SysVersion0Referenced)
                 {
-                    checker
-                        .diagnostics
-                        .push(Diagnostic::new(SysVersion0Referenced, Range::from(value)));
+                    checker.diagnostics.push(Diagnostic::new(
+                        SysVersion0Referenced,
+                        Range::from_located(value),
+                    ));
                 }
             }
 
@@ -214,7 +214,7 @@ pub fn compare(checker: &mut Checker, left: &Expr, ops: &[Cmpop], comparators: &
                         {
                             checker.diagnostics.push(Diagnostic::new(
                                 SysVersionInfo0Eq3Referenced,
-                                Range::from(left),
+                                Range::from_located(left),
                             ));
                         }
                     }
@@ -232,9 +232,10 @@ pub fn compare(checker: &mut Checker, left: &Expr, ops: &[Cmpop], comparators: &
                     ) = (ops, comparators)
                     {
                         if checker.settings.rules.enabled(&Rule::SysVersionInfo1CmpInt) {
-                            checker
-                                .diagnostics
-                                .push(Diagnostic::new(SysVersionInfo1CmpInt, Range::from(left)));
+                            checker.diagnostics.push(Diagnostic::new(
+                                SysVersionInfo1CmpInt,
+                                Range::from_located(left),
+                            ));
                         }
                     }
                 }
@@ -263,7 +264,7 @@ pub fn compare(checker: &mut Checker, left: &Expr, ops: &[Cmpop], comparators: &
                 {
                     checker.diagnostics.push(Diagnostic::new(
                         SysVersionInfoMinorCmpInt,
-                        Range::from(left),
+                        Range::from_located(left),
                     ));
                 }
             }
@@ -287,14 +288,16 @@ pub fn compare(checker: &mut Checker, left: &Expr, ops: &[Cmpop], comparators: &
         {
             if s.len() == 1 {
                 if checker.settings.rules.enabled(&Rule::SysVersionCmpStr10) {
-                    checker
-                        .diagnostics
-                        .push(Diagnostic::new(SysVersionCmpStr10, Range::from(left)));
+                    checker.diagnostics.push(Diagnostic::new(
+                        SysVersionCmpStr10,
+                        Range::from_located(left),
+                    ));
                 }
             } else if checker.settings.rules.enabled(&Rule::SysVersionCmpStr3) {
-                checker
-                    .diagnostics
-                    .push(Diagnostic::new(SysVersionCmpStr3, Range::from(left)));
+                checker.diagnostics.push(Diagnostic::new(
+                    SysVersionCmpStr3,
+                    Range::from_located(left),
+                ));
             }
         }
     }
@@ -303,12 +306,11 @@ pub fn compare(checker: &mut Checker, left: &Expr, ops: &[Cmpop], comparators: &
 /// YTT202
 pub fn name_or_attribute(checker: &mut Checker, expr: &Expr) {
     if checker
-        .ctx
         .resolve_call_path(expr)
         .map_or(false, |call_path| call_path.as_slice() == ["six", "PY3"])
     {
         checker
             .diagnostics
-            .push(Diagnostic::new(SixPY3Referenced, Range::from(expr)));
+            .push(Diagnostic::new(SixPY3Referenced, Range::from_located(expr)));
     }
 }

crates/ruff/src/rules/flake8_2020/snapshots/ruff__rules__flake8_2020__tests__YTT101_YTT101.py.snap

@@ -1,12 +1,9 @@
 ---
-source: crates/ruff/src/rules/flake8_2020/mod.rs
+source: src/rules/flake8_2020/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: SysVersionSlice3Referenced
-    body: "`sys.version[:3]` referenced (python3.10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionSlice3Referenced: ~
   location:
     row: 6
     column: 6
@@ -16,10 +13,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionSlice3Referenced
-    body: "`sys.version[:3]` referenced (python3.10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionSlice3Referenced: ~
   location:
     row: 7
     column: 6
@@ -29,10 +23,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionSlice3Referenced
-    body: "`sys.version[:3]` referenced (python3.10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionSlice3Referenced: ~
   location:
     row: 8
     column: 6

crates/ruff/src/rules/flake8_2020/snapshots/ruff__rules__flake8_2020__tests__YTT102_YTT102.py.snap

@@ -1,12 +1,9 @@
 ---
-source: crates/ruff/src/rules/flake8_2020/mod.rs
+source: src/rules/flake8_2020/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: SysVersion2Referenced
-    body: "`sys.version[2]` referenced (python3.10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersion2Referenced: ~
   location:
     row: 4
     column: 11
@@ -16,10 +13,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersion2Referenced
-    body: "`sys.version[2]` referenced (python3.10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersion2Referenced: ~
   location:
     row: 5
     column: 11

crates/ruff/src/rules/flake8_2020/snapshots/ruff__rules__flake8_2020__tests__YTT103_YTT103.py.snap

@@ -1,12 +1,9 @@
 ---
-source: crates/ruff/src/rules/flake8_2020/mod.rs
+source: src/rules/flake8_2020/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: SysVersionCmpStr3
-    body: "`sys.version` compared to string (python3.10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionCmpStr3: ~
   location:
     row: 4
     column: 0
@@ -16,10 +13,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionCmpStr3
-    body: "`sys.version` compared to string (python3.10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionCmpStr3: ~
   location:
     row: 5
     column: 0
@@ -29,10 +23,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionCmpStr3
-    body: "`sys.version` compared to string (python3.10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionCmpStr3: ~
   location:
     row: 6
     column: 0
@@ -42,10 +33,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionCmpStr3
-    body: "`sys.version` compared to string (python3.10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionCmpStr3: ~
   location:
     row: 7
     column: 0
@@ -55,10 +43,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionCmpStr3
-    body: "`sys.version` compared to string (python3.10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionCmpStr3: ~
   location:
     row: 8
     column: 0

crates/ruff/src/rules/flake8_2020/snapshots/ruff__rules__flake8_2020__tests__YTT201_YTT201.py.snap

@@ -1,12 +1,9 @@
 ---
-source: crates/ruff/src/rules/flake8_2020/mod.rs
+source: src/rules/flake8_2020/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: SysVersionInfo0Eq3Referenced
-    body: "`sys.version_info[0] == 3` referenced (python4), use `>=`"
-    suggestion: ~
-    fixable: false
+    SysVersionInfo0Eq3Referenced: ~
   location:
     row: 7
     column: 6
@@ -16,10 +13,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionInfo0Eq3Referenced
-    body: "`sys.version_info[0] == 3` referenced (python4), use `>=`"
-    suggestion: ~
-    fixable: false
+    SysVersionInfo0Eq3Referenced: ~
   location:
     row: 8
     column: 6
@@ -29,10 +23,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionInfo0Eq3Referenced
-    body: "`sys.version_info[0] == 3` referenced (python4), use `>=`"
-    suggestion: ~
-    fixable: false
+    SysVersionInfo0Eq3Referenced: ~
   location:
     row: 9
     column: 6
@@ -42,10 +33,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionInfo0Eq3Referenced
-    body: "`sys.version_info[0] == 3` referenced (python4), use `>=`"
-    suggestion: ~
-    fixable: false
+    SysVersionInfo0Eq3Referenced: ~
   location:
     row: 10
     column: 6

crates/ruff/src/rules/flake8_2020/snapshots/ruff__rules__flake8_2020__tests__YTT202_YTT202.py.snap

@@ -1,12 +1,9 @@
 ---
-source: crates/ruff/src/rules/flake8_2020/mod.rs
+source: src/rules/flake8_2020/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: SixPY3Referenced
-    body: "`six.PY3` referenced (python4), use `not six.PY2`"
-    suggestion: ~
-    fixable: false
+    SixPY3Referenced: ~
   location:
     row: 4
     column: 3
@@ -16,10 +13,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SixPY3Referenced
-    body: "`six.PY3` referenced (python4), use `not six.PY2`"
-    suggestion: ~
-    fixable: false
+    SixPY3Referenced: ~
   location:
     row: 6
     column: 3

crates/ruff/src/rules/flake8_2020/snapshots/ruff__rules__flake8_2020__tests__YTT203_YTT203.py.snap

@@ -1,12 +1,9 @@
 ---
-source: crates/ruff/src/rules/flake8_2020/mod.rs
+source: src/rules/flake8_2020/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: SysVersionInfo1CmpInt
-    body: "`sys.version_info[1]` compared to integer (python4), compare `sys.version_info` to tuple"
-    suggestion: ~
-    fixable: false
+    SysVersionInfo1CmpInt: ~
   location:
     row: 4
     column: 0
@@ -16,10 +13,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionInfo1CmpInt
-    body: "`sys.version_info[1]` compared to integer (python4), compare `sys.version_info` to tuple"
-    suggestion: ~
-    fixable: false
+    SysVersionInfo1CmpInt: ~
   location:
     row: 5
     column: 0

crates/ruff/src/rules/flake8_2020/snapshots/ruff__rules__flake8_2020__tests__YTT204_YTT204.py.snap

@@ -1,12 +1,9 @@
 ---
-source: crates/ruff/src/rules/flake8_2020/mod.rs
+source: src/rules/flake8_2020/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: SysVersionInfoMinorCmpInt
-    body: "`sys.version_info.minor` compared to integer (python4), compare `sys.version_info` to tuple"
-    suggestion: ~
-    fixable: false
+    SysVersionInfoMinorCmpInt: ~
   location:
     row: 4
     column: 0
@@ -16,10 +13,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionInfoMinorCmpInt
-    body: "`sys.version_info.minor` compared to integer (python4), compare `sys.version_info` to tuple"
-    suggestion: ~
-    fixable: false
+    SysVersionInfoMinorCmpInt: ~
   location:
     row: 5
     column: 0

crates/ruff/src/rules/flake8_2020/snapshots/ruff__rules__flake8_2020__tests__YTT301_YTT301.py.snap

@@ -1,12 +1,9 @@
 ---
-source: crates/ruff/src/rules/flake8_2020/mod.rs
+source: src/rules/flake8_2020/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: SysVersion0Referenced
-    body: "`sys.version[0]` referenced (python10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersion0Referenced: ~
   location:
     row: 4
     column: 11
@@ -16,10 +13,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersion0Referenced
-    body: "`sys.version[0]` referenced (python10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersion0Referenced: ~
   location:
     row: 5
     column: 11

crates/ruff/src/rules/flake8_2020/snapshots/ruff__rules__flake8_2020__tests__YTT302_YTT302.py.snap

@@ -1,12 +1,9 @@
 ---
-source: crates/ruff/src/rules/flake8_2020/mod.rs
+source: src/rules/flake8_2020/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: SysVersionCmpStr10
-    body: "`sys.version` compared to string (python10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionCmpStr10: ~
   location:
     row: 4
     column: 0
@@ -16,10 +13,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionCmpStr10
-    body: "`sys.version` compared to string (python10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionCmpStr10: ~
   location:
     row: 5
     column: 0
@@ -29,10 +23,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionCmpStr10
-    body: "`sys.version` compared to string (python10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionCmpStr10: ~
   location:
     row: 6
     column: 0
@@ -42,10 +33,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionCmpStr10
-    body: "`sys.version` compared to string (python10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionCmpStr10: ~
   location:
     row: 7
     column: 0
@@ -55,10 +43,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionCmpStr10
-    body: "`sys.version` compared to string (python10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionCmpStr10: ~
   location:
     row: 8
     column: 0

crates/ruff/src/rules/flake8_2020/snapshots/ruff__rules__flake8_2020__tests__YTT303_YTT303.py.snap

@@ -1,12 +1,9 @@
 ---
-source: crates/ruff/src/rules/flake8_2020/mod.rs
+source: src/rules/flake8_2020/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: SysVersionSlice1Referenced
-    body: "`sys.version[:1]` referenced (python10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionSlice1Referenced: ~
   location:
     row: 4
     column: 6
@@ -16,10 +13,7 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: SysVersionSlice1Referenced
-    body: "`sys.version[:1]` referenced (python10), use `sys.version_info`"
-    suggestion: ~
-    fixable: false
+    SysVersionSlice1Referenced: ~
   location:
     row: 5
     column: 6

crates/ruff/src/rules/flake8_annotations/fixes.rs

@@ -2,14 +2,14 @@ use anyhow::{bail, Result};
 use rustpython_parser::ast::Stmt;
 use rustpython_parser::{lexer, Mode, Tok};
 
-use ruff_diagnostics::Fix;
-use ruff_python_ast::source_code::Locator;
-use ruff_python_ast::types::Range;
+use crate::ast::types::Range;
+use crate::fix::Fix;
+use crate::source_code::Locator;
 
 /// ANN204
 pub fn add_return_none_annotation(locator: &Locator, stmt: &Stmt) -> Result<Fix> {
-    let range = Range::from(stmt);
-    let contents = locator.slice(range);
+    let range = Range::from_located(stmt);
+    let contents = locator.slice(&range);
 
     // Find the colon (following the `def` keyword).
     let mut seen_lpar = false;

crates/ruff/src/rules/flake8_annotations/helpers.rs

@@ -1,10 +1,9 @@
 use rustpython_parser::ast::{Arguments, Expr, Stmt, StmtKind};
 
-use ruff_python_ast::cast;
-use ruff_python_ast::visibility;
-
+use crate::ast::cast;
 use crate::checkers::ast::Checker;
 use crate::docstrings::definition::{Definition, DefinitionKind};
+use crate::visibility;
 
 pub(super) fn match_function_def(
     stmt: &Stmt,
@@ -34,7 +33,7 @@ pub fn overloaded_name(checker: &Checker, definition: &Definition) -> Option<Str
     | DefinitionKind::NestedFunction(stmt)
     | DefinitionKind::Method(stmt) = definition.kind
     {
-        if visibility::is_overload(&checker.ctx, cast::decorator_list(stmt)) {
+        if visibility::is_overload(checker, cast::decorator_list(stmt)) {
             let (name, ..) = match_function_def(stmt);
             Some(name.to_string())
         } else {
@@ -52,7 +51,7 @@ pub fn is_overload_impl(checker: &Checker, definition: &Definition, overloaded_n
     | DefinitionKind::NestedFunction(stmt)
     | DefinitionKind::Method(stmt) = definition.kind
     {
-        if visibility::is_overload(&checker.ctx, cast::decorator_list(stmt)) {
+        if visibility::is_overload(checker, cast::decorator_list(stmt)) {
             false
         } else {
             let (name, ..) = match_function_def(stmt);

crates/ruff/src/rules/flake8_annotations/rules.rs

@@ -1,46 +1,44 @@
 use log::error;
+use ruff_macros::{define_violation, derive_message_formats};
 use rustpython_parser::ast::{Constant, Expr, ExprKind, Stmt};
 
-use ruff_diagnostics::{AlwaysAutofixableViolation, Diagnostic, Violation};
-use ruff_macros::{derive_message_formats, violation};
-use ruff_python_ast::helpers::ReturnStatementVisitor;
-use ruff_python_ast::types::Range;
-use ruff_python_ast::visibility;
-use ruff_python_ast::visibility::Visibility;
-use ruff_python_ast::visitor::Visitor;
-use ruff_python_ast::{cast, helpers};
-
-use crate::checkers::ast::Checker;
-use crate::docstrings::definition::{Definition, DefinitionKind};
-use crate::registry::{AsRule, Rule};
-
 use super::fixes;
 use super::helpers::match_function_def;
+use crate::ast::helpers::ReturnStatementVisitor;
+use crate::ast::types::Range;
+use crate::ast::visitor::Visitor;
+use crate::ast::{cast, helpers};
+use crate::checkers::ast::Checker;
+use crate::docstrings::definition::{Definition, DefinitionKind};
+use crate::registry::{Diagnostic, Rule};
+use crate::violation::{AlwaysAutofixableViolation, Violation};
+use crate::visibility;
+use crate::visibility::Visibility;
 
-/// ## What it does
-/// Checks that function arguments have type annotations.
-///
-/// ## Why is this bad?
-/// Type annotations are a good way to document the types of function arguments. They also
-/// help catch bugs, when used alongside a type checker, by ensuring that the types of
-/// any provided arguments match expectation.
-///
-/// ## Example
-/// ```python
-/// def foo(x):
-///     ...
-/// ```
-///
-/// Use instead:
-/// ```python
-/// def foo(x: int):
-///     ...
-/// ```
-#[violation]
-pub struct MissingTypeFunctionArgument {
-    pub name: String,
-}
-
+define_violation!(
+    /// ## What it does
+    /// Checks that function arguments have type annotations.
+    ///
+    /// ## Why is this bad?
+    /// Type annotations are a good way to document the types of function arguments. They also
+    /// help catch bugs, when used alongside a type checker, by ensuring that the types of
+    /// any provided arguments match expectation.
+    ///
+    /// ## Example
+    /// ```python
+    /// def foo(x):
+    ///     ...
+    /// ```
+    ///
+    /// Use instead:
+    /// ```python
+    /// def foo(x: int):
+    ///     ...
+    /// ```
+    pub struct MissingTypeFunctionArgument {
+        pub name: String,
+    }
+);
 impl Violation for MissingTypeFunctionArgument {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -49,30 +47,30 @@ impl Violation for MissingTypeFunctionArgument {
     }
 }
 
-/// ## What it does
-/// Checks that function `*args` arguments have type annotations.
-///
-/// ## Why is this bad?
-/// Type annotations are a good way to document the types of function arguments. They also
-/// help catch bugs, when used alongside a type checker, by ensuring that the types of
-/// any provided arguments match expectation.
-///
-/// ## Example
-/// ```python
-/// def foo(*args):
-///     ...
-/// ```
-///
-/// Use instead:
-/// ```python
-/// def foo(*args: int):
-///     ...
-/// ```
-#[violation]
-pub struct MissingTypeArgs {
-    pub name: String,
-}
-
+define_violation!(
+    /// ## What it does
+    /// Checks that function `*args` arguments have type annotations.
+    ///
+    /// ## Why is this bad?
+    /// Type annotations are a good way to document the types of function arguments. They also
+    /// help catch bugs, when used alongside a type checker, by ensuring that the types of
+    /// any provided arguments match expectation.
+    ///
+    /// ## Example
+    /// ```python
+    /// def foo(*args):
+    ///     ...
+    /// ```
+    ///
+    /// Use instead:
+    /// ```python
+    /// def foo(*args: int):
+    ///     ...
+    /// ```
+    pub struct MissingTypeArgs {
+        pub name: String,
+    }
+);
 impl Violation for MissingTypeArgs {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -81,30 +79,30 @@ impl Violation for MissingTypeArgs {
     }
 }
 
-/// ## What it does
-/// Checks that function `**kwargs` arguments have type annotations.
-///
-/// ## Why is this bad?
-/// Type annotations are a good way to document the types of function arguments. They also
-/// help catch bugs, when used alongside a type checker, by ensuring that the types of
-/// any provided arguments match expectation.
-///
-/// ## Example
-/// ```python
-/// def foo(**kwargs):
-///     ...
-/// ```
-///
-/// Use instead:
-/// ```python
-/// def foo(**kwargs: int):
-///     ...
-/// ```
-#[violation]
-pub struct MissingTypeKwargs {
-    pub name: String,
-}
-
+define_violation!(
+    /// ## What it does
+    /// Checks that function `**kwargs` arguments have type annotations.
+    ///
+    /// ## Why is this bad?
+    /// Type annotations are a good way to document the types of function arguments. They also
+    /// help catch bugs, when used alongside a type checker, by ensuring that the types of
+    /// any provided arguments match expectation.
+    ///
+    /// ## Example
+    /// ```python
+    /// def foo(**kwargs):
+    ///     ...
+    /// ```
+    ///
+    /// Use instead:
+    /// ```python
+    /// def foo(**kwargs: int):
+    ///     ...
+    /// ```
+    pub struct MissingTypeKwargs {
+        pub name: String,
+    }
+);
 impl Violation for MissingTypeKwargs {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -113,35 +111,35 @@ impl Violation for MissingTypeKwargs {
     }
 }
 
-/// ## What it does
-/// Checks that instance method `self` arguments have type annotations.
-///
-/// ## Why is this bad?
-/// Type annotations are a good way to document the types of function arguments. They also
-/// help catch bugs, when used alongside a type checker, by ensuring that the types of
-/// any provided arguments match expectation.
-///
-/// Note that many type checkers will infer the type of `self` automatically, so this
-/// annotation is not strictly necessary.
-///
-/// ## Example
-/// ```python
-/// class Foo:
-///     def bar(self):
-///         ...
-/// ```
-///
-/// Use instead:
-/// ```python
-/// class Foo:
-///     def bar(self: "Foo"):
-///         ...
-/// ```
-#[violation]
-pub struct MissingTypeSelf {
-    pub name: String,
-}
-
+define_violation!(
+    /// ## What it does
+    /// Checks that instance method `self` arguments have type annotations.
+    ///
+    /// ## Why is this bad?
+    /// Type annotations are a good way to document the types of function arguments. They also
+    /// help catch bugs, when used alongside a type checker, by ensuring that the types of
+    /// any provided arguments match expectation.
+    ///
+    /// Note that many type checkers will infer the type of `self` automatically, so this
+    /// annotation is not strictly necessary.
+    ///
+    /// ## Example
+    /// ```python
+    /// class Foo:
+    ///     def bar(self):
+    ///         ...
+    /// ```
+    ///
+    /// Use instead:
+    /// ```python
+    /// class Foo:
+    ///     def bar(self: "Foo"):
+    ///         ...
+    /// ```
+    pub struct MissingTypeSelf {
+        pub name: String,
+    }
+);
 impl Violation for MissingTypeSelf {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -150,37 +148,37 @@ impl Violation for MissingTypeSelf {
     }
 }
 
-/// ## What it does
-/// Checks that class method `cls` arguments have type annotations.
-///
-/// ## Why is this bad?
-/// Type annotations are a good way to document the types of function arguments. They also
-/// help catch bugs, when used alongside a type checker, by ensuring that the types of
-/// any provided arguments match expectation.
-///
-/// Note that many type checkers will infer the type of `cls` automatically, so this
-/// annotation is not strictly necessary.
-///
-/// ## Example
-/// ```python
-/// class Foo:
-///     @classmethod
-///     def bar(cls):
-///         ...
-/// ```
-///
-/// Use instead:
-/// ```python
-/// class Foo:
-///     @classmethod
-///     def bar(cls: Type["Foo"]):
-///         ...
-/// ```
-#[violation]
-pub struct MissingTypeCls {
-    pub name: String,
-}
-
+define_violation!(
+    /// ## What it does
+    /// Checks that class method `cls` arguments have type annotations.
+    ///
+    /// ## Why is this bad?
+    /// Type annotations are a good way to document the types of function arguments. They also
+    /// help catch bugs, when used alongside a type checker, by ensuring that the types of
+    /// any provided arguments match expectation.
+    ///
+    /// Note that many type checkers will infer the type of `cls` automatically, so this
+    /// annotation is not strictly necessary.
+    ///
+    /// ## Example
+    /// ```python
+    /// class Foo:
+    ///     @classmethod
+    ///     def bar(cls):
+    ///         ...
+    /// ```
+    ///
+    /// Use instead:
+    /// ```python
+    /// class Foo:
+    ///     @classmethod
+    ///     def bar(cls: Type["Foo"]):
+    ///         ...
+    /// ```
+    pub struct MissingTypeCls {
+        pub name: String,
+    }
+);
 impl Violation for MissingTypeCls {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -189,30 +187,30 @@ impl Violation for MissingTypeCls {
     }
 }
 
-/// ## What it does
-/// Checks that public functions and methods have return type annotations.
-///
-/// ## Why is this bad?
-/// Type annotations are a good way to document the return types of functions. They also
-/// help catch bugs, when used alongside a type checker, by ensuring that the types of
-/// any returned values, and the types expected by callers, match expectation.
-///
-/// ## Example
-/// ```python
-/// def add(a, b):
-///     return a + b
-/// ```
-///
-/// Use instead:
-/// ```python
-/// def add(a: int, b: int) -> int:
-///     return a + b
-/// ```
-#[violation]
-pub struct MissingReturnTypePublicFunction {
-    pub name: String,
-}
-
+define_violation!(
+    /// ## What it does
+    /// Checks that public functions and methods have return type annotations.
+    ///
+    /// ## Why is this bad?
+    /// Type annotations are a good way to document the return types of functions. They also
+    /// help catch bugs, when used alongside a type checker, by ensuring that the types of
+    /// any returned values, and the types expected by callers, match expectation.
+    ///
+    /// ## Example
+    /// ```python
+    /// def add(a, b):
+    ///     return a + b
+    /// ```
+    ///
+    /// Use instead:
+    /// ```python
+    /// def add(a: int, b: int) -> int:
+    ///     return a + b
+    /// ```
+    pub struct MissingReturnTypePublicFunction {
+        pub name: String,
+    }
+);
 impl Violation for MissingReturnTypePublicFunction {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -221,30 +219,30 @@ impl Violation for MissingReturnTypePublicFunction {
     }
 }
 
-/// ## What it does
-/// Checks that private functions and methods have return type annotations.
-///
-/// ## Why is this bad?
-/// Type annotations are a good way to document the return types of functions. They also
-/// help catch bugs, when used alongside a type checker, by ensuring that the types of
-/// any returned values, and the types expected by callers, match expectation.
-///
-/// ## Example
-/// ```python
-/// def _add(a, b):
-///     return a + b
-/// ```
-///
-/// Use instead:
-/// ```python
-/// def _add(a: int, b: int) -> int:
-///     return a + b
-/// ```
-#[violation]
-pub struct MissingReturnTypePrivateFunction {
-    pub name: String,
-}
-
+define_violation!(
+    /// ## What it does
+    /// Checks that private functions and methods have return type annotations.
+    ///
+    /// ## Why is this bad?
+    /// Type annotations are a good way to document the return types of functions. They also
+    /// help catch bugs, when used alongside a type checker, by ensuring that the types of
+    /// any returned values, and the types expected by callers, match expectation.
+    ///
+    /// ## Example
+    /// ```python
+    /// def _add(a, b):
+    ///     return a + b
+    /// ```
+    ///
+    /// Use instead:
+    /// ```python
+    /// def _add(a: int, b: int) -> int:
+    ///     return a + b
+    /// ```
+    pub struct MissingReturnTypePrivateFunction {
+        pub name: String,
+    }
+);
 impl Violation for MissingReturnTypePrivateFunction {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -253,43 +251,43 @@ impl Violation for MissingReturnTypePrivateFunction {
     }
 }
 
-/// ## What it does
-/// Checks that "special" methods, like `__init__`, `__new__`, and `__call__`, have
-/// return type annotations.
-///
-/// ## Why is this bad?
-/// Type annotations are a good way to document the return types of functions. They also
-/// help catch bugs, when used alongside a type checker, by ensuring that the types of
-/// any returned values, and the types expected by callers, match expectation.
-///
-/// Note that type checkers often allow you to omit the return type annotation for
-/// `__init__` methods, as long as at least one argument has a type annotation. To
-/// opt-in to this behavior, use the `mypy-init-return` setting in your `pyproject.toml`
-/// or `ruff.toml` file:
-///
-/// ```toml
-/// [tool.ruff.flake8-annotations]
-/// mypy-init-return = true
-/// ```
-///
-/// ## Example
-/// ```python
-/// class Foo:
-///     def __init__(self, x: int):
-///         self.x = x
-/// ```
-///
-/// Use instead:
-/// ```python
-/// class Foo:
-///     def __init__(self, x: int) -> None:
-///         self.x = x
-/// ```
-#[violation]
-pub struct MissingReturnTypeSpecialMethod {
-    pub name: String,
-}
-
+define_violation!(
+    /// ## What it does
+    /// Checks that "special" methods, like `__init__`, `__new__`, and `__call__`, have
+    /// return type annotations.
+    ///
+    /// ## Why is this bad?
+    /// Type annotations are a good way to document the return types of functions. They also
+    /// help catch bugs, when used alongside a type checker, by ensuring that the types of
+    /// any returned values, and the types expected by callers, match expectation.
+    ///
+    /// Note that type checkers often allow you to omit the return type annotation for
+    /// `__init__` methods, as long as at least one argument has a type annotation. To
+    /// opt-in to this behavior, use the `mypy-init-return` setting in your `pyproject.toml`
+    /// or `ruff.toml` file:
+    ///
+    /// ```toml
+    /// [tool.ruff.flake8-annotations]
+    /// mypy-init-return = true
+    /// ```
+    ///
+    /// ## Example
+    /// ```python
+    /// class Foo:
+    ///     def __init__(self, x: int):
+    ///         self.x = x
+    /// ```
+    ///
+    /// Use instead:
+    /// ```python
+    /// class Foo:
+    ///     def __init__(self, x: int) -> None:
+    ///         self.x = x
+    /// ```
+    pub struct MissingReturnTypeSpecialMethod {
+        pub name: String,
+    }
+);
 impl AlwaysAutofixableViolation for MissingReturnTypeSpecialMethod {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -302,34 +300,34 @@ impl AlwaysAutofixableViolation for MissingReturnTypeSpecialMethod {
     }
 }
 
-/// ## What it does
-/// Checks that static methods have return type annotations.
-///
-/// ## Why is this bad?
-/// Type annotations are a good way to document the return types of functions. They also
-/// help catch bugs, when used alongside a type checker, by ensuring that the types of
-/// any returned values, and the types expected by callers, match expectation.
-///
-/// ## Example
-/// ```python
-/// class Foo:
-///     @staticmethod
-///     def bar():
-///         return 1
-/// ```
-///
-/// Use instead:
-/// ```python
-/// class Foo:
-///     @staticmethod
-///     def bar() -> int:
-///         return 1
-/// ```
-#[violation]
-pub struct MissingReturnTypeStaticMethod {
-    pub name: String,
-}
-
+define_violation!(
+    /// ## What it does
+    /// Checks that static methods have return type annotations.
+    ///
+    /// ## Why is this bad?
+    /// Type annotations are a good way to document the return types of functions. They also
+    /// help catch bugs, when used alongside a type checker, by ensuring that the types of
+    /// any returned values, and the types expected by callers, match expectation.
+    ///
+    /// ## Example
+    /// ```python
+    /// class Foo:
+    ///     @staticmethod
+    ///     def bar():
+    ///         return 1
+    /// ```
+    ///
+    /// Use instead:
+    /// ```python
+    /// class Foo:
+    ///     @staticmethod
+    ///     def bar() -> int:
+    ///         return 1
+    /// ```
+    pub struct MissingReturnTypeStaticMethod {
+        pub name: String,
+    }
+);
 impl Violation for MissingReturnTypeStaticMethod {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -338,34 +336,34 @@ impl Violation for MissingReturnTypeStaticMethod {
     }
 }
 
-/// ## What it does
-/// Checks that class methods have return type annotations.
-///
-/// ## Why is this bad?
-/// Type annotations are a good way to document the return types of functions. They also
-/// help catch bugs, when used alongside a type checker, by ensuring that the types of
-/// any returned values, and the types expected by callers, match expectation.
-///
-/// ## Example
-/// ```python
-/// class Foo:
-///     @classmethod
-///     def bar(cls):
-///         return 1
-/// ```
-///
-/// Use instead:
-/// ```python
-/// class Foo:
-///     @classmethod
-///     def bar(cls) -> int:
-///         return 1
-/// ```
-#[violation]
-pub struct MissingReturnTypeClassMethod {
-    pub name: String,
-}
-
+define_violation!(
+    /// ## What it does
+    /// Checks that class methods have return type annotations.
+    ///
+    /// ## Why is this bad?
+    /// Type annotations are a good way to document the return types of functions. They also
+    /// help catch bugs, when used alongside a type checker, by ensuring that the types of
+    /// any returned values, and the types expected by callers, match expectation.
+    ///
+    /// ## Example
+    /// ```python
+    /// class Foo:
+    ///     @classmethod
+    ///     def bar(cls):
+    ///         return 1
+    /// ```
+    ///
+    /// Use instead:
+    /// ```python
+    /// class Foo:
+    ///     @classmethod
+    ///     def bar(cls) -> int:
+    ///         return 1
+    /// ```
+    pub struct MissingReturnTypeClassMethod {
+        pub name: String,
+    }
+);
 impl Violation for MissingReturnTypeClassMethod {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -374,39 +372,39 @@ impl Violation for MissingReturnTypeClassMethod {
     }
 }
 
-/// ## What it does
-/// Checks that an expression is annotated with a more specific type than
-/// `Any`.
-///
-/// ## Why is this bad?
-/// `Any` is a special type indicating an unconstrained type. When an
-/// expression is annotated with type `Any`, type checkers will allow all
-/// operations on it.
-///
-/// It's better to be explicit about the type of an expression, and to use
-/// `Any` as an "escape hatch" only when it is really needed.
-///
-/// ## Example
-/// ```python
-/// def foo(x: Any):
-///     ...
-/// ```
-///
-/// Use instead:
-/// ```python
-/// def foo(x: int):
-///     ...
-/// ```
-///
-/// ## References
-/// - [PEP 484](https://www.python.org/dev/peps/pep-0484/#the-any-type)
-/// - [`typing.Any`](https://docs.python.org/3/library/typing.html#typing.Any)
-/// - [Mypy: The Any type](https://mypy.readthedocs.io/en/stable/kinds_of_types.html#the-any-type)
-#[violation]
-pub struct AnyType {
-    pub name: String,
-}
-
+define_violation!(
+    /// ## What it does
+    /// Checks that an expression is annotated with a more specific type than
+    /// `Any`.
+    ///
+    /// ## Why is this bad?
+    /// `Any` is a special type indicating an unconstrained type. When an
+    /// expression is annotated with type `Any`, type checkers will allow all
+    /// operations on it.
+    ///
+    /// It's better to be explicit about the type of an expression, and to use
+    /// `Any` as an "escape hatch" only when it is really needed.
+    ///
+    /// ## Example
+    /// ```python
+    /// def foo(x: Any):
+    ///     ...
+    /// ```
+    ///
+    /// Use instead:
+    /// ```python
+    /// def foo(x: int):
+    ///     ...
+    /// ```
+    ///
+    /// ## References
+    /// - [PEP 484](https://www.python.org/dev/peps/pep-0484/#the-any-type)
+    /// - [`typing.Any`](https://docs.python.org/3/library/typing.html#typing.Any)
+    /// - [Mypy: The Any type](https://mypy.readthedocs.io/en/stable/kinds_of_types.html#the-any-type)
+    pub struct AnyType {
+        pub name: String,
+    }
+);
 impl Violation for AnyType {
     #[derive_message_formats]
     fn message(&self) -> String {
@@ -443,10 +441,10 @@ fn check_dynamically_typed<F>(
 ) where
     F: FnOnce() -> String,
 {
-    if checker.ctx.match_typing_expr(annotation, "Any") {
+    if checker.match_typing_expr(annotation, "Any") {
         diagnostics.push(Diagnostic::new(
             AnyType { name: func() },
-            Range::from(annotation),
+            Range::from_located(annotation),
         ));
     };
 }
@@ -484,8 +482,7 @@ pub fn definition(
             .skip(
                 // If this is a non-static method, skip `cls` or `self`.
                 usize::from(
-                    is_method
-                        && !visibility::is_staticmethod(&checker.ctx, cast::decorator_list(stmt)),
+                    is_method && !visibility::is_staticmethod(checker, cast::decorator_list(stmt)),
                 ),
             )
         {
@@ -513,7 +510,7 @@ pub fn definition(
                             MissingTypeFunctionArgument {
                                 name: arg.node.arg.to_string(),
                             },
-                            Range::from(arg),
+                            Range::from_located(arg),
                         ));
                     }
                 }
@@ -544,7 +541,7 @@ pub fn definition(
                             MissingTypeArgs {
                                 name: arg.node.arg.to_string(),
                             },
-                            Range::from(arg),
+                            Range::from_located(arg),
                         ));
                     }
                 }
@@ -575,7 +572,7 @@ pub fn definition(
                             MissingTypeKwargs {
                                 name: arg.node.arg.to_string(),
                             },
-                            Range::from(arg),
+                            Range::from_located(arg),
                         ));
                     }
                 }
@@ -583,16 +580,16 @@ pub fn definition(
         }
 
         // ANN101, ANN102
-        if is_method && !visibility::is_staticmethod(&checker.ctx, cast::decorator_list(stmt)) {
+        if is_method && !visibility::is_staticmethod(checker, cast::decorator_list(stmt)) {
             if let Some(arg) = args.posonlyargs.first().or_else(|| args.args.first()) {
                 if arg.node.annotation.is_none() {
-                    if visibility::is_classmethod(&checker.ctx, cast::decorator_list(stmt)) {
+                    if visibility::is_classmethod(checker, cast::decorator_list(stmt)) {
                         if checker.settings.rules.enabled(&Rule::MissingTypeCls) {
                             diagnostics.push(Diagnostic::new(
                                 MissingTypeCls {
                                     name: arg.node.arg.to_string(),
                                 },
-                                Range::from(arg),
+                                Range::from_located(arg),
                             ));
                         }
                     } else {
@@ -601,7 +598,7 @@ pub fn definition(
                                 MissingTypeSelf {
                                     name: arg.node.arg.to_string(),
                                 },
-                                Range::from(arg),
+                                Range::from_located(arg),
                             ));
                         }
                     }
@@ -622,7 +619,7 @@ pub fn definition(
             // (explicitly or implicitly).
             checker.settings.flake8_annotations.suppress_none_returning && is_none_returning(body)
         ) {
-            if is_method && visibility::is_classmethod(&checker.ctx, cast::decorator_list(stmt)) {
+            if is_method && visibility::is_classmethod(checker, cast::decorator_list(stmt)) {
                 if checker
                     .settings
                     .rules
@@ -635,8 +632,7 @@ pub fn definition(
                         helpers::identifier_range(stmt, checker.locator),
                     ));
                 }
-            } else if is_method
-                && visibility::is_staticmethod(&checker.ctx, cast::decorator_list(stmt))
+            } else if is_method && visibility::is_staticmethod(checker, cast::decorator_list(stmt))
             {
                 if checker
                     .settings

crates/ruff/src/rules/flake8_annotations/settings.rs

@@ -1,11 +1,9 @@
 //! Settings for the `flake-annotations` plugin.
 
+use ruff_macros::ConfigurationOptions;
 use schemars::JsonSchema;
 use serde::{Deserialize, Serialize};
 
-use ruff_macros::CacheKey;
-use ruff_macros::ConfigurationOptions;
-
 #[derive(
     Debug, PartialEq, Eq, Default, Serialize, Deserialize, ConfigurationOptions, JsonSchema,
 )]
@@ -62,7 +60,7 @@ pub struct Options {
     pub ignore_fully_untyped: Option<bool>,
 }
 
-#[derive(Debug, Default, CacheKey)]
+#[derive(Debug, Default, Hash)]
 #[allow(clippy::struct_excessive_bools)]
 pub struct Settings {
     pub mypy_init_return: bool,

crates/ruff/src/rules/flake8_annotations/snapshots/ruff__rules__flake8_annotations__tests__allow_overload.snap

@@ -1,12 +1,10 @@
 ---
-source: crates/ruff/src/rules/flake8_annotations/mod.rs
+source: src/rules/flake8_annotations/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: MissingReturnTypePublicFunction
-    body: "Missing return type annotation for public function `bar`"
-    suggestion: ~
-    fixable: false
+    MissingReturnTypePublicFunction:
+      name: bar
   location:
     row: 29
     column: 8

crates/ruff/src/rules/flake8_annotations/snapshots/ruff__rules__flake8_annotations__tests__allow_star_arg_any.snap

@@ -3,10 +3,8 @@ source: crates/ruff/src/rules/flake8_annotations/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `a`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: a
   location:
     row: 10
     column: 11
@@ -16,10 +14,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `foo`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: foo
   location:
     row: 15
     column: 46
@@ -29,10 +25,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `a`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: a
   location:
     row: 40
     column: 28
@@ -42,10 +36,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `foo_method`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: foo_method
   location:
     row: 44
     column: 66

crates/ruff/src/rules/flake8_annotations/snapshots/ruff__rules__flake8_annotations__tests__defaults.snap

@@ -3,10 +3,8 @@ source: crates/ruff/src/rules/flake8_annotations/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: MissingReturnTypePublicFunction
-    body: "Missing return type annotation for public function `foo`"
-    suggestion: ~
-    fixable: false
+    MissingReturnTypePublicFunction:
+      name: foo
   location:
     row: 4
     column: 4
@@ -16,10 +14,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingTypeFunctionArgument
-    body: "Missing type annotation for function argument `a`"
-    suggestion: ~
-    fixable: false
+    MissingTypeFunctionArgument:
+      name: a
   location:
     row: 4
     column: 8
@@ -29,10 +25,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingTypeFunctionArgument
-    body: "Missing type annotation for function argument `b`"
-    suggestion: ~
-    fixable: false
+    MissingTypeFunctionArgument:
+      name: b
   location:
     row: 4
     column: 11
@@ -42,10 +36,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingReturnTypePublicFunction
-    body: "Missing return type annotation for public function `foo`"
-    suggestion: ~
-    fixable: false
+    MissingReturnTypePublicFunction:
+      name: foo
   location:
     row: 9
     column: 4
@@ -55,10 +47,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingTypeFunctionArgument
-    body: "Missing type annotation for function argument `b`"
-    suggestion: ~
-    fixable: false
+    MissingTypeFunctionArgument:
+      name: b
   location:
     row: 9
     column: 16
@@ -68,10 +58,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingTypeFunctionArgument
-    body: "Missing type annotation for function argument `b`"
-    suggestion: ~
-    fixable: false
+    MissingTypeFunctionArgument:
+      name: b
   location:
     row: 14
     column: 16
@@ -81,10 +69,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingReturnTypePublicFunction
-    body: "Missing return type annotation for public function `foo`"
-    suggestion: ~
-    fixable: false
+    MissingReturnTypePublicFunction:
+      name: foo
   location:
     row: 19
     column: 4
@@ -94,10 +80,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingReturnTypePublicFunction
-    body: "Missing return type annotation for public function `foo`"
-    suggestion: ~
-    fixable: false
+    MissingReturnTypePublicFunction:
+      name: foo
   location:
     row: 24
     column: 4
@@ -107,10 +91,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `a`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: a
   location:
     row: 44
     column: 11
@@ -120,10 +102,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `foo`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: foo
   location:
     row: 49
     column: 46
@@ -133,10 +113,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `*args`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: "*args"
   location:
     row: 54
     column: 23
@@ -146,10 +124,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `**kwargs`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: "**kwargs"
   location:
     row: 54
     column: 38
@@ -159,10 +135,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `*args`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: "*args"
   location:
     row: 59
     column: 23
@@ -172,10 +146,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `**kwargs`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: "**kwargs"
   location:
     row: 64
     column: 38
@@ -185,10 +157,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingTypeSelf
-    body: "Missing type annotation for `self` in method"
-    suggestion: ~
-    fixable: false
+    MissingTypeSelf:
+      name: self
   location:
     row: 74
     column: 12
@@ -198,10 +168,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `a`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: a
   location:
     row: 78
     column: 28
@@ -211,10 +179,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `foo`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: foo
   location:
     row: 82
     column: 66
@@ -224,10 +190,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `*params`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: "*params"
   location:
     row: 86
     column: 42
@@ -237,10 +201,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `**options`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: "**options"
   location:
     row: 86
     column: 58
@@ -250,10 +212,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `*params`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: "*params"
   location:
     row: 90
     column: 42
@@ -263,10 +223,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: AnyType
-    body: "Dynamically typed expressions (typing.Any) are disallowed in `**options`"
-    suggestion: ~
-    fixable: false
+    AnyType:
+      name: "**options"
   location:
     row: 94
     column: 58
@@ -276,10 +234,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingTypeCls
-    body: "Missing type annotation for `cls` in classmethod"
-    suggestion: ~
-    fixable: false
+    MissingTypeCls:
+      name: cls
   location:
     row: 104
     column: 12
@@ -289,10 +245,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingTypeSelf
-    body: "Missing type annotation for `self` in method"
-    suggestion: ~
-    fixable: false
+    MissingTypeSelf:
+      name: self
   location:
     row: 108
     column: 12

crates/ruff/src/rules/flake8_annotations/snapshots/ruff__rules__flake8_annotations__tests__ignore_fully_untyped.snap

@@ -3,10 +3,8 @@ source: crates/ruff/src/rules/flake8_annotations/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: MissingReturnTypePublicFunction
-    body: "Missing return type annotation for public function `error_partially_typed_1`"
-    suggestion: ~
-    fixable: false
+    MissingReturnTypePublicFunction:
+      name: error_partially_typed_1
   location:
     row: 24
     column: 4
@@ -16,10 +14,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingTypeFunctionArgument
-    body: "Missing type annotation for function argument `b`"
-    suggestion: ~
-    fixable: false
+    MissingTypeFunctionArgument:
+      name: b
   location:
     row: 24
     column: 36
@@ -29,10 +25,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingTypeFunctionArgument
-    body: "Missing type annotation for function argument `b`"
-    suggestion: ~
-    fixable: false
+    MissingTypeFunctionArgument:
+      name: b
   location:
     row: 28
     column: 36
@@ -42,10 +36,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingReturnTypePublicFunction
-    body: "Missing return type annotation for public function `error_partially_typed_3`"
-    suggestion: ~
-    fixable: false
+    MissingReturnTypePublicFunction:
+      name: error_partially_typed_3
   location:
     row: 32
     column: 4
@@ -55,10 +47,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingReturnTypePublicFunction
-    body: "Missing return type annotation for public function `error_typed_self`"
-    suggestion: ~
-    fixable: false
+    MissingReturnTypePublicFunction:
+      name: error_typed_self
   location:
     row: 43
     column: 8

crates/ruff/src/rules/flake8_annotations/snapshots/ruff__rules__flake8_annotations__tests__mypy_init_return.snap

@@ -3,10 +3,8 @@ source: crates/ruff/src/rules/flake8_annotations/mod.rs
 expression: diagnostics
 ---
 - kind:
-    name: MissingReturnTypeSpecialMethod
-    body: "Missing return type annotation for special method `__init__`"
-    suggestion: "Add `None` return type"
-    fixable: true
+    MissingReturnTypeSpecialMethod:
+      name: __init__
   location:
     row: 5
     column: 8
@@ -23,10 +21,8 @@ expression: diagnostics
       column: 22
   parent: ~
 - kind:
-    name: MissingReturnTypeSpecialMethod
-    body: "Missing return type annotation for special method `__init__`"
-    suggestion: "Add `None` return type"
-    fixable: true
+    MissingReturnTypeSpecialMethod:
+      name: __init__
   location:
     row: 11
     column: 8
@@ -43,10 +39,8 @@ expression: diagnostics
       column: 27
   parent: ~
 - kind:
-    name: MissingReturnTypePrivateFunction
-    body: "Missing return type annotation for private function `__init__`"
-    suggestion: ~
-    fixable: false
+    MissingReturnTypePrivateFunction:
+      name: __init__
   location:
     row: 40
     column: 4
@@ -56,10 +50,8 @@ expression: diagnostics
   fix: ~
   parent: ~
 - kind:
-    name: MissingReturnTypeSpecialMethod
-    body: "Missing return type annotation for special method `__init__`"
-    suggestion: "Add `None` return type"
-    fixable: true
+    MissingReturnTypeSpecialMethod:
+      name: __init__
   location:
     row: 47
     column: 8