Add redundant-annotation warning#20238

grayjk wants to merge 6 commits intopython:masterpython/mypy:masterfrom

grayjk:warn-redundant-annotationgrayjk/mypy:warn-redundant-annotationCopy head branch name to clipboard