Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
`miri` actually caught a non-bug (in my opinion), but sure thing, I've changes the code so that `miri` won't complain.
- Loading branch information