right now, we have a bunch of warnings in Clippy. We could fix them gradually. And set up Clippy in Ci at last.