about summary refs log tree commit diff
path: root/src/test/ui-fulldeps/lint-plugin-forbid-cmdline.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui-fulldeps/lint-plugin-forbid-cmdline.rs')
-rw-r--r--src/test/ui-fulldeps/lint-plugin-forbid-cmdline.rs15
1 files changed, 0 insertions, 15 deletions
diff --git a/src/test/ui-fulldeps/lint-plugin-forbid-cmdline.rs b/src/test/ui-fulldeps/lint-plugin-forbid-cmdline.rs
deleted file mode 100644
index b9d1aa85a69..00000000000
--- a/src/test/ui-fulldeps/lint-plugin-forbid-cmdline.rs
+++ /dev/null
@@ -1,15 +0,0 @@
-// aux-build:lint-plugin-test.rs
-// ignore-stage1
-// compile-flags: -F test-lint
-
-#![feature(plugin)]
-#![plugin(lint_plugin_test)]
-//~^ WARN use of deprecated attribute `plugin`
-fn lintme() { } //~ ERROR item is named 'lintme'
-
-#[allow(test_lint)] //~ ERROR allow(test_lint) incompatible
-                    //~| ERROR allow(test_lint) incompatible
-
-pub fn main() {
-    lintme();
-}