--no-warn-unused-ignores for mypy in Github CI.

Author: jonathanslenders

Diff for: .github/workflows/test.yaml

@@ -32,9 +32,11 @@ jobs:
         # Check wheather the imports were sorted correctly.
         # When this fails, please run ./tools/sort-imports.sh
         run: |
-          mypy --strict src/prompt_toolkit --platform win32
-          mypy --strict src/prompt_toolkit --platform linux
-          mypy --strict src/prompt_toolkit --platform darwin
+          # We use --no-warn-usused-ignores, because on Python 3.6 there is one
+          # type:ignore that we don't need.
+          mypy --strict --no-warn-unused-ignores src/prompt_toolkit --platform win32
+          mypy --strict --no-warn-unused-ignores src/prompt_toolkit --platform linux
+          mypy --strict --no-warn-unused-ignores src/prompt_toolkit --platform darwin
           isort -c --profile black src examples tests setup.py
           black --check src examples tests setup.py
       - name: Validate README.md

Diff for: mypy.ini

@@ -15,6 +15,4 @@ strict_optional = True
 warn_redundant_casts = True
 warn_return_any = True
 warn_unused_configs = True
-
-# We have a 'type:ignore' that's not needed on Python 3.6.
-warn_unused_ignores = False
+warn_unused_ignores = True