paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-16 20:02:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

stream_data: Fix return type of stream_info.get.

Browse Source 
We can definitely be looking up stream ids that don't map to
anything. All callers already assume it can be undefined.
This commit is contained in:
evykassirer
2024-08-08 10:45:33 -07:00
committed by Tim Abbott
parent 9dab566d10
commit 7203244015
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
web/src/stream_data.ts
View File

@@ -82,14 +82,14 @@ class BinaryDict<T> {
yield* this.falses.values(); yield* this.falses.values();
} }
get(k: number): T { get(k: number): T | undefined {
const res = this.trues.get(k); const res = this.trues.get(k);
if (res !== undefined) { if (res !== undefined) {
return res; return res;
} }
return this.falses.get(k)!; return this.falses.get(k);
} }
set(k: number, v: T): void { set(k: number, v: T): void {