Not an answer to your question, but if you’re annoyed by how slow clippy is, it sounds like there’s work being done to speed it up significantly: https://rust-lang.github.io/rust-project-goals/2024h2/optimize-clippy.html