more precise unexpected_cfgs

hacspec · Jul 5, 2024 · 43ab211 · 43ab211
1 parent e6ac47d
commit 43ab211
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/engine/names/extract/Cargo.toml b/engine/names/extract/Cargo.toml
@@ -21,3 +21,6 @@ bincode.workspace = true
 [features]
 default = ["extract_names_mode"]
 extract_names_mode = []
+
+[lints.rust]
+unexpected_cfgs = { level = "warn", check-cfg = ['cfg(feature, values("rustc"))'] }
diff --git a/engine/names/extract/build.rs b/engine/names/extract/build.rs
@@ -6,7 +6,6 @@ use std::process::{Command, Stdio};
 /// impls), we just inline a small module here that contains the three
 /// type definition we need. See the module for complementary
 /// informations.
-#[allow(unexpected_cfgs)]
 #[path = "../../../frontend/exporter/src/types/def_id.rs"]
 mod hax_frontend_exporter_def_id;
 use hax_frontend_exporter_def_id::*;