diff options
Diffstat (limited to 'src/test/ui/lint/known-tool-in-submodule')
-rw-r--r-- | src/test/ui/lint/known-tool-in-submodule/root.rs | 10 | ||||
-rw-r--r-- | src/test/ui/lint/known-tool-in-submodule/submodule.rs | 4 |
2 files changed, 0 insertions, 14 deletions
diff --git a/src/test/ui/lint/known-tool-in-submodule/root.rs b/src/test/ui/lint/known-tool-in-submodule/root.rs deleted file mode 100644 index 80806dcbd..000000000 --- a/src/test/ui/lint/known-tool-in-submodule/root.rs +++ /dev/null @@ -1,10 +0,0 @@ -// check-pass - -#![feature(register_tool)] -#![register_tool(tool)] - -mod submodule; - -fn main() { - submodule::foo(); -} diff --git a/src/test/ui/lint/known-tool-in-submodule/submodule.rs b/src/test/ui/lint/known-tool-in-submodule/submodule.rs deleted file mode 100644 index bb25e1005..000000000 --- a/src/test/ui/lint/known-tool-in-submodule/submodule.rs +++ /dev/null @@ -1,4 +0,0 @@ -// ignore-test: not a test - -#[allow(tool::lint)] -pub fn foo() {} |