fix: use typed category field instead of Record cast

This commit is contained in:
m
2026-03-30 19:37:52 +02:00
parent 23b8ef4bba
commit 501b573967

View File

@@ -101,7 +101,7 @@ export function DeadlineCalculator() {
const seen = new Set<string>(); const seen = new Set<string>();
for (const pt of types) { for (const pt of types) {
const j = pt.jurisdiction ?? "Sonstige"; const j = pt.jurisdiction ?? "Sonstige";
const c = (pt as Record<string, unknown>).category as string ?? "hauptverfahren"; const c = pt.category ?? "hauptverfahren";
const key = `${j}::${c}`; const key = `${j}::${c}`;
if (!seen.has(key)) { if (!seen.has(key)) {
seen.add(key); seen.add(key);