Removed all '#type: ignore[no-redef]'.

See: python/mypy#8016

Author: jonathanslenders

prompt_toolkit/application/application.py

@@ -1,4 +1,3 @@
-# type: ignore[no-redef]
 import asyncio
 import os
 import re

prompt_toolkit/key_binding/bindings/auto_suggest.py

@@ -1,4 +1,3 @@
-# type: ignore[no-redef]
 """
 Key bindings for auto suggestion (for fish-style auto suggestion).
 """

prompt_toolkit/key_binding/bindings/basic.py

@@ -1,5 +1,4 @@
 # pylint: disable=function-redefined
-# type: ignore[no-redef]
 from prompt_toolkit.application.current import get_app
 from prompt_toolkit.filters import (
     Condition,

prompt_toolkit/key_binding/bindings/completion.py

@@ -1,4 +1,3 @@
-# type: ignore[no-redef]
 """
 Key binding handlers for displaying completions.
 """

prompt_toolkit/key_binding/bindings/emacs.py

@@ -1,5 +1,4 @@
 # pylint: disable=function-redefined
-# type: ignore[no-redef]
 from prompt_toolkit.application.current import get_app
 from prompt_toolkit.buffer import Buffer, SelectionType, indent, unindent
 from prompt_toolkit.completion import CompleteEvent

prompt_toolkit/key_binding/bindings/mouse.py

@@ -1,4 +1,3 @@
-# type: ignore[no-redef]
 from prompt_toolkit.data_structures import Point
 from prompt_toolkit.key_binding.key_processor import KeyPress, KeyPressEvent
 from prompt_toolkit.keys import Keys

prompt_toolkit/key_binding/bindings/vi.py

@@ -1,5 +1,4 @@
 # pylint: disable=function-redefined
-# type: ignore[no-redef]
 import codecs
 import string
 from enum import Enum

prompt_toolkit/layout/menus.py

@@ -1,4 +1,3 @@
-# type: ignore[no-redef]
 import math
 from itertools import zip_longest
 from typing import (

prompt_toolkit/shortcuts/progress_bar/base.py

@@ -1,4 +1,3 @@
-# type: ignore[no-redef]
 """
 Progress bar implementation on top of prompt_toolkit.
 

prompt_toolkit/shortcuts/prompt.py

@@ -1,4 +1,3 @@
-# type: ignore[no-redef]
 """
 Line editing functionality.
 ---------------------------