mypy

gh-145394: Remove duplicated `isearch_add_character` in `_pyrepl/historical_reader.py` #19741

Job	Run time
Run mypy on Tools/clinic	20s
Run mypy on Tools/build	23s
Run mypy on Lib/test/libregrtest	20s
Run mypy on Lib/tomllib	17s
Run mypy on Tools/check-c-api-docs	17s
Run mypy on Lib/_pyrepl	19s
Run mypy on Tools/cases_generator	19s
Run mypy on Tools/peg_generator	20s
Run mypy on Tools/jit	20s
	2m 55s

Provide feedback