aboutsummaryrefslogtreecommitdiff
path: root/ir/analysis/template_params.rs
diff options
context:
space:
mode:
Diffstat (limited to 'ir/analysis/template_params.rs')
-rw-r--r--ir/analysis/template_params.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/ir/analysis/template_params.rs b/ir/analysis/template_params.rs
index 3e6cd5e..e4261cf 100644
--- a/ir/analysis/template_params.rs
+++ b/ir/analysis/template_params.rs
@@ -459,7 +459,7 @@ impl<'ctx> MonotoneFramework for UsedTemplateParameters<'ctx> {
}
}
- if cfg!(feature = "testing_only_extra_assertions") {
+ if cfg!(feature = "__testing_only_extra_assertions") {
// Invariant: The `used` map has an entry for every allowlisted
// item, as well as all explicitly blocklisted items that are
// reachable from allowlisted items.