I think a "linter" that does formal verification would be a good solution. People use things like clippy already and my hope is that using one of the verificati

I think a "linter" that does formal verification would be a good solution. People use things like clippy already and my hope is that using one of the verification tools such as Kani could become equally widespread for checking common things like absence of panics and leaks.