diff --git a/checker/Cargo.toml b/checker/Cargo.toml
index 439a221b..30a2c409 100644
--- 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
+