tests/ui/tool-attributes/unknown-lint-tool-name.rs


1
2
3
4
5
6
7
8

#![deny(foo::bar)] //~ ERROR unknown tool name `foo` found in scoped lint: `foo::bar`
                   //~| ERROR unknown tool name `foo` found in scoped lint: `foo::bar`
                   //~| ERROR unknown tool name `foo` found in scoped lint: `foo::bar`

#[allow(foo::bar)] //~ ERROR unknown tool name `foo` found in scoped lint: `foo::bar`
                   //~| ERROR unknown tool name `foo` found in scoped lint: `foo::bar`
                   //~| ERROR unknown tool name `foo` found in scoped lint: `foo::bar`
fn main() {}