rows: Make errors fatal in id, local_echo_id.

This lets us simplify their types and remove dead error-handling code.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2024-03-02 01:16:45 -08:00
committed by Tim Abbott
parent 398c63566e
commit f39675f061
5 changed files with 9 additions and 18 deletions

View File

@@ -75,7 +75,6 @@ function get_message_for_message_content($content: JQuery): Message | undefined
return undefined;
}
const message_id = rows.id($message_row);
assert(message_id !== undefined);
return message_store.get(message_id);
}