Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It was disabled by google#726 due to a false positive tracked and fixed by rust-lang/rust-clippy#13458.
- Loading branch information