Searching in src/tools/clippy/declare_clippy_lint