[steveklabnik]

> I can assure you that the core utils have all already went through static analysers doing more checks than the Rust compiler.

Yet, this effort has still found bugs in the upstream project! No codebase is perfect.