8/20/2026 at 9:31:08 AM
I posted this a couple days ago and I guess it got re-raised. I thought it was cool -1. I didn't know there was any static analysis systems out there with type info, it's famously missing from codegen etc.
2. Most of the discussions are about formal analysis, kani etc. But I really haven't seen much of more traditional (?) analysis in rust
3. It can identify unnecessary `clone` (with some restrictions, probably) which was always something that bothered me... whether to clone or not is almost purely mechanical but you end up having to choose by hand.
by rendaw