I resurrected the Rust Herbie lint (now using dylint) a while ago: https://github.com/urschrei/herbie-lint