paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-04 05:53:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

python: Annotate type aliases with TypeAlias.

Browse Source 
This is not strictly necessary but it’s clearer and improves mypy’s
error messages.

https://docs.python.org/3/library/typing.html#typing.TypeAlias
https://mypy.readthedocs.io/en/stable/kinds_of_types.html#type-aliases

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2023-08-02 14:53:10 -07:00
committed by Tim Abbott
parent f55711dae3
commit c2c96eb0cf
24 changed files with 81 additions and 52 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
zerver/actions/streams.py
View File

@@ -11,6 +11,7 @@ from django.utils.timezone import now as timezone_now
from django.utils.translation import gettext as _
from django.utils.translation import override as override_language
from django_stubs_ext import ValuesQuerySet
from typing_extensions import TypeAlias
from zerver.actions.default_streams import (
do_remove_default_stream,
@@ -560,7 +561,7 @@ def send_peer_subscriber_events(
send_event_on_commit(realm, event, peer_user_ids)
SubT = Tuple[List[SubInfo], List[SubInfo]]
SubT: TypeAlias = Tuple[List[SubInfo], List[SubInfo]]
def bulk_add_subscriptions(
@@ -729,7 +730,9 @@ def notify_subscriptions_removed(
send_event(realm, event, [user_profile.id])
SubAndRemovedT = Tuple[List[Tuple[UserProfile, Stream]], List[Tuple[UserProfile, Stream]]]
SubAndRemovedT: TypeAlias = Tuple[
List[Tuple[UserProfile, Stream]], List[Tuple[UserProfile, Stream]]
]
def send_subscription_remove_events(