untrusted
untrusted copied to clipboard
Use `debug_assert()` in every `Reader` function to check preconditions/invariants
In particular, at the start and at the end of each function, we should debug_assert() the i <= len invariant holds.
#25
If this does not satisfy the issue, let me know. I want to get into open source.
I think #28 would make this superfluous because it removes the i member.