From e134ad1363339f9e98fb369c7376e11cb42887ed Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Thu, 30 May 2024 10:08:00 -0700
Subject: [PATCH] unread_ops: Fix TypeScript noUncheckedIndexedAccess errors.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 web/src/unread_ops.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/src/unread_ops.ts b/web/src/unread_ops.ts
index 4c3d6df9ed..dd5e9d7d7f 100644
--- a/web/src/unread_ops.ts
+++ b/web/src/unread_ops.ts
@@ -472,6 +472,7 @@ export function process_unread_messages_event({
     for (const message_id of message_ids) {
         const message = message_store.get(message_id);
         const message_info = message_details[message_id];
+        assert(message_info !== undefined);
         let mentioned_me_directly;
 
         if (message) {