In e5867e180933d21d5b9b11cc817022c8c82a79a2, we reduced the number of reductions the TC performs. However, this caused several regressions in error messages (a129902ce1cf82c5d257c4eef3ad3115b59b6aee).
Something somewhere needs to be done by someone to restore ensure the error messages are suitably descriptive again.
In e5867e180933d21d5b9b11cc817022c8c82a79a2, we reduced the number of reductions the TC performs. However, this caused several regressions in error messages (a129902ce1cf82c5d257c4eef3ad3115b59b6aee).
Something somewhere needs to be done by someone to restore ensure the error messages are suitably descriptive again.