(severity: LayoutIssueSeverity)
| 217 | } |
| 218 | |
| 219 | function severityRank(severity: LayoutIssueSeverity): number { |
| 220 | if (severity === "error") return 0; |
| 221 | if (severity === "warning") return 1; |
| 222 | return 2; |
| 223 | } |
| 224 | |
| 225 | function staticIssueKey(issue: LayoutIssue): string { |
| 226 | return [ |