stream_data: Simplify ApiGenericStreamSubscription type.

The removed alternative is a subtype of NeverSubscribedStream and thus
already included.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2024-09-20 14:18:50 -07:00
committed by Anders Kaseorg
parent 86d5ee5bdf
commit 57c39fc257

View File

@@ -25,10 +25,7 @@ import {user_settings} from "./user_settings";
import * as util from "./util"; import * as util from "./util";
// Type for the parameter of `create_sub_from_server_data` function. // Type for the parameter of `create_sub_from_server_data` function.
type ApiGenericStreamSubscription = type ApiGenericStreamSubscription = NeverSubscribedStream | ApiStreamSubscription;
| NeverSubscribedStream
| ApiStreamSubscription
| (Stream & {stream_weekly_traffic: number | null; subscribers: number[]});
export type InviteStreamData = { export type InviteStreamData = {
name: string; name: string;