Back to News
Advertisement
Advertisement

⚡ Community Insights

Discussion Sentiment

100% Positive

Analyzed from 74 words in the discussion.

Trending Topics

#analysis#etc#clone#posted#couple#days#ago#guess#got#raised

Discussion (1 Comments)Read Original on HackerNews

rendaw•about 2 hours ago
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.