diff --git a/engine/names/extract/Cargo.toml b/engine/names/extract/Cargo.toml
index 61218733d..c6f9dacb6 100644
--- 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
index 7cc11cc77..47e7fbc51 100644
--- 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::*;