export type ErrorSummary = {
    getSummary(): string;
};