3 ms·
clippy has this already :)
by Manishearth 10y ago
clippy has this already :)
- bumblebeard 10y agoFor those not familiar with Clippy: https://github.com/Manishearth/rust-clippy https://github.com/Manishearth/rust-clippy It's a very useful tool; the main thing about it that annoys me is that it only works with nightly.