boxes/run: Explicitly define type & remove type-ignores.

One of these are required by the upgrade of mypy to version 1.0.0, which flags
an unnecessary type-ignore as an error.

The other case is a second type-ignore that can be removed via explicitly
typing.

Author: neiljp

zulipterminal/cli/run.py

@@ -550,7 +550,7 @@ def main(options: Optional[List[str]] = None) -> None:
                 pudb.post_mortem()
 
         if hasattr(e, "extra_info"):
-            print(in_color("red", f"\n{e.extra_info}"), file=sys.stderr)  # type: ignore
+            print(in_color("red", f"\n{e.extra_info}"), file=sys.stderr)
 
         print(
             in_color(

zulipterminal/ui_tools/boxes.py

@@ -1096,6 +1096,7 @@ def top_search_bar(self) -> Any:
             ]
         else:
             self.model.controller.view.search_box.text_box.set_edit_text("")
+        text_to_fill: Union[str, Tuple[str, List[Tuple[str, str]]]]
         if curr_narrow == []:
             text_to_fill = "All messages"
         elif len(curr_narrow) == 1 and curr_narrow[0][1] == "private":
@@ -1110,14 +1111,14 @@ def top_search_bar(self) -> Any:
             bar_color = f"s{bar_color}"
             if len(curr_narrow) == 2 and curr_narrow[1][0] == "topic":
                 text_to_fill = (
-                    "bar",  # type: ignore
+                    "bar",
                     [
                         (bar_color, self.stream_name),
                         (bar_color, ": topic narrow"),
                     ],
                 )
             else:
-                text_to_fill = ("bar", [(bar_color, self.stream_name)])  # type: ignore
+                text_to_fill = ("bar", [(bar_color, self.stream_name)])
         elif len(curr_narrow) == 1 and len(curr_narrow[0][1].split(",")) > 1:
             text_to_fill = "Group private conversation"
         else: