Type Alias SpecIssue

SpecIssue: {
    [C in IssueCode]: Omit<ValidationIssue, "code" | "meta"> & {
        code: C;
        meta?: IssueMeta[C];
    }
}[IssueCode]

A validator issue whose meta is typed by its code: narrow on code to read the details safely.