Closed thevirtuoso1973 closed 2 years ago
This converts renamed variables in literals to their original when creating the final error type, so errors that are only different w.r.t. renaming index are considered the same and not printed separately.
This converts renamed variables in literals to their original when creating the final error type, so errors that are only different w.r.t. renaming index are considered the same and not printed separately.