mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 05:23:35 +00:00
Since mypy doesn't accept redefinition of the same variable within the same scope, we need to use type annotations with Union to correctly type aggregate_table. Note that the type cast is necessary for mypy to narrow the type of aggregate_table.