Skip to content

Commit caae213

Browse files
committed
internal: Define rules for LLMs
rust-analyzer allows AI usage (see rust-lang#21314), but requires contributors to declare usage. This adds a rule file that improves LLM output quality and instructs the LLM to declare usage in commit messages. I've written the rules in CLAUDE.md, but also symlinked it to AGENTS.md so other LLM tools pick it up. ## Rules file contents (1) Instructions for both humans and AIs to declare AI usage. (2) Relevant commands for testing, linting and codegen. Note that I deliberately didn't include an overview of the project structure on a folder-by-folder basis. This can go stale, and there's some evidence that project structure can hurt LLM output quality overall. See the following paper: > Evaluating AGENTS.md: > Are Repository-Level Context Files Helpful for Coding Agents? > https://arxiv.org/pdf/2602.11988 ## Testing I exercised this change with the following contrived prompt. Note that in practice rust-analyzer is hitting review scaling limits for new code actions, but it was easy to test end-to-end. > Add a new code action that replaces the content of a string literal > with the text "banana". ... > commit it This produced a functional code action with both Codex and Claude, and in both cases the commit message mentioned that it was AI generated. Example commit message: Add "Replace string with banana" code action Add a new assist that replaces a string literal's content with "banana" when the cursor is on a STRING token. AI: Generated with Claude Code (claude-opus-4-6). I confirmed that the code action worked by testing a rust-analyzer build in Emacs, and also confirmed that the generated tests looked sensible. ## AI Usage Disclosures I wrote the first draft of the rules file with Opus 4.6, manually reviewed everything.
1 parent 3c4ae11 commit caae213

2 files changed

Lines changed: 48 additions & 0 deletions

File tree

AGENTS.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
CLAUDE.md

CLAUDE.md

Lines changed: 47 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
1+
**Reminder: All AI usage must be disclosed in commit messages, see
2+
CONTRIBUTING.md for more details.**
3+
4+
## Build Commands
5+
6+
```bash
7+
cargo build # Build all crates
8+
cargo test # Run all tests
9+
cargo test -p <crate> # Run tests for a specific crate (e.g., cargo test -p hir-ty)
10+
cargo lint # Run clippy on all targets
11+
cargo xtask codegen # Run code generation
12+
cargo xtask tidy # Run tidy checks
13+
cargo xtask install --server # Install rust-analyzer binary
14+
```
15+
16+
To update test expectations (snapshot tests):
17+
```bash
18+
UPDATE_EXPECT=1 cargo t
19+
```
20+
21+
Heavy/slow tests only run when `RUN_SLOW_TESTS` env var is set.
22+
23+
## Key Architectural Invariants
24+
25+
- Typing in a function body never invalidates global derived data
26+
- Parser/syntax tree is built per-file to enable parallel parsing
27+
- `ide` crate's API uses POD types suitable for serialization (no syntax trees or hir types in API)
28+
- The server is stateless (HTTP-like); context must be re-created from request parameters
29+
- Cancellation uses salsa's revision counter; computations panic with `Cancelled` when stale
30+
31+
### Code Generation
32+
33+
Generated code is committed to the repo. Grammar and AST are generated from `ungrammar`. Run `cargo test -p xtask` after adding inline parser tests (`// test test_name` comments).
34+
35+
## Testing
36+
37+
Tests are snapshot-based using `expect-test`. Test fixtures use a mini-language:
38+
- `$0` marks cursor position
39+
- `// ^^^^` labels attach to the line above
40+
- `//- minicore: sized, fn` includes parts of minicore (minimal core library)
41+
- `//- /path/to/file.rs crate:name deps:dep1,dep2` declares files/crates
42+
43+
## Style Notes
44+
45+
- Use `stdx::never!` instead of `assert!` for recoverable invariants
46+
- Use `T![foo]` macro instead of `SyntaxKind::FOO_KW`
47+
- Keyword name mangling: `crate``krate`, `fn``func`, `struct``strukt`, `type``ty`

0 commit comments

Comments
 (0)