Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Restore counters before returning the error. (#2399)
This restores `self.symbol_counters` before the error is propagated upwards. Without this, we get a panic at the `unwrap()` because the same thing is probably done further up in the call chain.
- Loading branch information