67cfb4a9c0
This changes the structure of the hints generator in the resolver when encountering solution errors, so that it re-uses a single output buffer owned by the caller. It avoids repeated allocations of a temporary buffer within each recursive function call.