diff options
Diffstat (limited to 'src/test/ui-fulldeps/lint-plugin-forbid-attrs.rs')
-rw-r--r-- | src/test/ui-fulldeps/lint-plugin-forbid-attrs.rs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui-fulldeps/lint-plugin-forbid-attrs.rs b/src/test/ui-fulldeps/lint-plugin-forbid-attrs.rs new file mode 100644 index 000000000..4833f6971 --- /dev/null +++ b/src/test/ui-fulldeps/lint-plugin-forbid-attrs.rs @@ -0,0 +1,17 @@ +// aux-build:lint-plugin-test.rs +// ignore-stage1 + +#![feature(plugin)] +#![plugin(lint_plugin_test)] +//~^ WARN use of deprecated attribute `plugin` +#![forbid(test_lint)] + +fn lintme() {} //~ ERROR item is named 'lintme' + +#[allow(test_lint)] +//~^ ERROR allow(test_lint) incompatible +//~| ERROR allow(test_lint) incompatible +//~| ERROR allow(test_lint) incompatible +pub fn main() { + lintme(); +} |