summaryrefslogtreecommitdiffstats
path: root/src/test/ui/lint/force-warn/allowed-deny-by-default-lint.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/lint/force-warn/allowed-deny-by-default-lint.rs')
-rw-r--r--src/test/ui/lint/force-warn/allowed-deny-by-default-lint.rs11
1 files changed, 11 insertions, 0 deletions
diff --git a/src/test/ui/lint/force-warn/allowed-deny-by-default-lint.rs b/src/test/ui/lint/force-warn/allowed-deny-by-default-lint.rs
new file mode 100644
index 000000000..08e75a775
--- /dev/null
+++ b/src/test/ui/lint/force-warn/allowed-deny-by-default-lint.rs
@@ -0,0 +1,11 @@
+// --force-warn $LINT causes $LINT (which is deny-by-default) to warn
+// despite $LINT being allowed in module
+// compile-flags: --force-warn const_err
+// check-pass
+
+#![allow(const_err)]
+const C: i32 = 1 / 0;
+//~^ WARN any use of this value will cause an error
+//~| WARN this was previously accepted by the compiler
+
+fn main() {}