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.
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.