Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

mypy: Use cast in walk_tree_with_family to access inside opaque Element.

This commit is contained in:
neiljp (Neil Pilgrim) 2018-03-10 02:40:10 +00:00 committed by Tim Abbott
parent 6fc4d5bf40
commit d4cfab4823
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
zerver/lib/bugdown/__init__.py
View File

@ -1,7 +1,7 @@
# Zulip's main markdown implementation. See docs/subsystems/markdown.md for # Zulip's main markdown implementation. See docs/subsystems/markdown.md for
# detailed documentation on our markdown syntax. # detailed documentation on our markdown syntax.
from typing import (Any, Callable, Dict, Iterable, List, NamedTuple, from typing import (Any, Callable, Dict, Iterable, List, NamedTuple,
Optional, Set, Text, Tuple, TypeVar, Union) Optional, Set, Text, Tuple, TypeVar, Union, cast)
from mypy_extensions import TypedDict from mypy_extensions import TypedDict
from typing.re import Match from typing.re import Match
@ -172,7 +172,9 @@ def walk_tree_with_family(root: Element,
result = processor(child) result = processor(child)
if result is not None: if result is not None:
if currElementPair['parent']: if currElementPair['parent']:
grandparent = currElementPair['parent']['value'] grandparent_element = cast(Dict[str, Optional[Element]],
currElementPair['parent'])
grandparent = grandparent_element['value']
else: else:
grandparent = None grandparent = None
family = ElementFamily( family = ElementFamily(