diff options
Diffstat (limited to '')
| -rw-r--r-- | src/tools/clippy/tests/ui-internal/auxiliary/paths.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/clippy/tests/ui-internal/auxiliary/paths.rs b/src/tools/clippy/tests/ui-internal/auxiliary/paths.rs new file mode 100644 index 000000000..52fcaec4d --- /dev/null +++ b/src/tools/clippy/tests/ui-internal/auxiliary/paths.rs @@ -0,0 +1,2 @@ +pub static OPTION: [&str; 3] = ["core", "option", "Option"]; +pub const RESULT: &[&str] = &["core", "result", "Result"]; |