Searching in src/tools/clippy/lintcheck/src