summaryrefslogtreecommitdiffstats
path: root/tests/ui-fulldeps/plugin/lint-plugin-deny-cmdline.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui-fulldeps/plugin/lint-plugin-deny-cmdline.rs')
-rw-r--r--tests/ui-fulldeps/plugin/lint-plugin-deny-cmdline.rs13
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/ui-fulldeps/plugin/lint-plugin-deny-cmdline.rs b/tests/ui-fulldeps/plugin/lint-plugin-deny-cmdline.rs
new file mode 100644
index 000000000..c460cfd5f
--- /dev/null
+++ b/tests/ui-fulldeps/plugin/lint-plugin-deny-cmdline.rs
@@ -0,0 +1,13 @@
+// aux-build:lint-plugin-test.rs
+// ignore-stage1
+// compile-flags: -D test-lint
+
+#![feature(plugin)]
+#![plugin(lint_plugin_test)]
+//~^ WARN use of deprecated attribute `plugin`
+
+fn lintme() { } //~ ERROR item is named 'lintme'
+
+pub fn main() {
+ lintme();
+}