Improve rust-analyzer support

endorlabs · Dec 9, 2024 · 1716ba1 · 1716ba1
1 parent 53e47c1
commit 1716ba1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/checker/Cargo.toml b/checker/Cargo.toml
@@ -70,3 +70,8 @@ vcpkg = ["z3-sys/vcpkg", "z3"]
 bundled = ["z3-sys/bundled", "z3"]
 z3 = []
 
+[package.metadata.rust-analyzer]
+# This crate uses #[feature(rustc_private)]
+# https://rust-analyzer.github.io/manual.html#rust-analyzer.rustc.source
+rustc_private = true
+