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