HTMLParser.handle_starttag attrs incorrect type

[rgant]

Attributes without a value will return None so the correct type should be:

    def handle_starttag(self, tag: str,
                        attrs: List[Tuple[str, Union[None, str]]]) -> None: ...

typeshed/stdlib/3/html/parser.pyi

Line 17 in de1755b

def handle_starttag(self, tag: str,

Example:

Python 3.7.3 (default, Mar 27 2019, 09:23:15) 
[Clang 10.0.1 (clang-1001.0.46.3)] on darwin
Type "help", "copyright", "credits" or "license" for more information.
Python shell history and tab completion are enabled.
>>> from html.parser import HTMLParser
>>> class MyParser(HTMLParser):
...   def handle_starttag(self, tag, attrs):
...     print('%r' % attrs)
... 
>>> parser = MyParser()
>>> parser.feed('<input type="number" required>')
[('type', 'number'), ('required', None)]

[srittau]

Patches welcome! (Although it should preferable use Optional[str] instead of Union[None, str].)