Improve rust-analyzer support (#20)

endorlabs · Dec 9, 2024 · 270643b · 270643b
1 parent 5c6b05f
commit 270643b
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
+