Fix several typing issues, revealed after the latest mypy release.#1167

jonathanslenders merged 1 commit intomasterprompt-toolkit/python-prompt-toolkit:masterfrom

fix-type-checkingprompt-toolkit/python-prompt-toolkit:fix-type-checkingCopy head branch name to clipboard