From eea8e6bf5a622776838e7856d24e79f5dae023c5 Mon Sep 17 00:00:00 2001 From: Marcel Date: Tue, 9 Jun 2026 08:04:32 +0200 Subject: [PATCH] docs(journeyitemcard): document why item.document! non-null assertion is safe MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit JourneyReader filters items to only those where document != null before passing them here — the ! assertion is valid by caller invariant. Co-Authored-By: Claude Sonnet 4.6 --- frontend/src/lib/geschichte/JourneyItemCard.svelte | 1 + 1 file changed, 1 insertion(+) diff --git a/frontend/src/lib/geschichte/JourneyItemCard.svelte b/frontend/src/lib/geschichte/JourneyItemCard.svelte index 0706fd9d..9faa7889 100644 --- a/frontend/src/lib/geschichte/JourneyItemCard.svelte +++ b/frontend/src/lib/geschichte/JourneyItemCard.svelte @@ -11,6 +11,7 @@ interface Props { let { item }: Props = $props(); +// Safe: JourneyReader filters out items where document === null before rendering this component. const doc = $derived(item.document!); const formattedDate = $derived(doc.documentDate ? formatDate(doc.documentDate, 'short') : null); const ariaLabel = $derived(