2 ms·
Clippy with unstable features enabled catches most if not all of these cases automatically? This seems like it needs more work to do the same thing clippy does.
by himata4113 6mo ago
Clippy with unstable features enabled catches most if not all of these cases automatically? This seems like it needs more work to do the same thing clippy does.
I do see a value in validating constraints, but the examples are either too simple or I'm too dumb.
- Kab1r 6mo agoI have written complex proofs for distributed system using verus which are certainly not expressed by clippy