Ensures synchronization when multiple errors are reported simultaneously
Test coverage is, unfortunately, extremely poor because this is hard to test, and to be honest I don't really feel like adding entire mock structures everywhere to test code that is mostly quite obvious from reading it.
Fixes #455.
The new error reporter is inspired by Patrick Scheibe's error reporter, though significant changes have been made:
Test coverage is, unfortunately, extremely poor because this is hard to test, and to be honest I don't really feel like adding entire mock structures everywhere to test code that is mostly quite obvious from reading it.