Removed several unused type:ignore comments.#1674

jonathanslenders wants to merge 1 commit intomainprompt-toolkit/python-prompt-toolkit:mainfrom

mypy-fixesprompt-toolkit/python-prompt-toolkit:mypy-fixesCopy head branch name to clipboard