src/tools/miri/etc/rust_analyzer_zed.json


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

{
    "lsp": {
        "rust-analyzer": {
            "initialization_options": {
                "rustc": {
                    "source": "discover"
                },
                "linkedProjects": [
                    "./Cargo.toml",
                    "./cargo-miri/Cargo.toml",
                    "./genmc-sys/Cargo.toml",
                    "./miri-script/Cargo.toml"
                ],
                "check": {
                    "invocationStrategy": "once",
                    "overrideCommand": [
                        "./miri",
                        "clippy", // make this `check` when working with a locally built rustc
                        "--message-format=json"
                    ]
                },
                "cargo": {
                    "extraEnv": {
                        "MIRI_AUTO_OPS": "no",
                        "MIRI_IN_RA": "1"
                    },
                    // Contrary to what the name suggests, this also affects proc macros.
                    "buildScripts": {
                        "invocationStrategy": "once",
                        "overrideCommand": [
                            "./miri",
                            "check",
                            "--no-default-features",
                            "--message-format=json"
                        ]
                    }
                }
            }
        }
    }
}