Certain errors encountered during constraint satisfaction render the program ill-formed. Emit those as errors during satisfaction and not when diagnosing constraint errors.
The errors should include the full context for failure (i.e., when satisfying X, when satisfying Y, this failed), but we don't build that information until we know we need to diagnose an error. This patch does not include that context. Andrew Sutton
errors.patch
Description: Binary data
