From 270643b3f2a52159ee6786c05a0326647a891226 Mon Sep 17 00:00:00 2001 From: David Semakula Date: Mon, 9 Dec 2024 20:53:06 +0300 Subject: [PATCH] Improve rust-analyzer support (#20) --- checker/Cargo.toml | 5 +++++ 1 file changed, 5 insertions(+) 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 +