blob: c46b246049ffd4de6a54d55679a19fd8a68ba7da (
plain)
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
|
[language-server.rust-analyzer.config.rustc]
source = "discover"
[language-server.rust-analyzer.config]
linkedProjects = [
"Cargo.toml",
"cargo-miri/Cargo.toml",
"genmc-sys/Cargo.toml",
"miri-script/Cargo.toml",
]
[language-server.rust-analyzer.config.check]
invocationStrategy = "once"
overrideCommand = [
"./miri",
"clippy", # make this `check` when working with a locally built rustc
"--message-format=json",
]
[language-server.rust-analyzer.config.cargo.extraEnv]
MIRI_AUTO_OPS = "no"
MIRI_IN_RA = "1"
# Contrary to what the name suggests, this also affects proc macros.
[language-server.rust-analyzer.config.cargo.buildScripts]
invocationStrategy = "once"
overrideCommand = [
"./miri",
"check",
"--no-default-features",
"--message-format=json",
]
|
