unread_ops: Fix TypeScript noUncheckedIndexedAccess errors.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2024-05-30 10:08:00 -07:00
parent 07c220f08b
commit e134ad1363
1 changed files with 1 additions and 0 deletions

View File

@ -472,6 +472,7 @@ export function process_unread_messages_event({
for (const message_id of message_ids) { for (const message_id of message_ids) {
const message = message_store.get(message_id); const message = message_store.get(message_id);
const message_info = message_details[message_id]; const message_info = message_details[message_id];
assert(message_info !== undefined);
let mentioned_me_directly; let mentioned_me_directly;
if (message) { if (message) {