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, 0 insertions, 17 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
deleted file mode 100644
index 9f8a87960..000000000
--- a/src/test/ui-fulldeps/lint-group-plugin-deny-cmdline.rs
+++ /dev/null
@@ -1,17 +0,0 @@
-// 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();
-}