Closed
Description
I am working on some unrelated things and noticed these errors:
mypy/typeshed/third_party/2/tornado/httpclient.pyi:58: error: Name 'headers' already defined on line 26
mypy/typeshed/third_party/2/tornado/httpclient.pyi:62: error: Name 'body' already defined on line 33
mypy/typeshed/third_party/2/tornado/httpclient.pyi:66: error: Name 'body_producer' already defined on line 34
mypy/typeshed/third_party/2/tornado/httpclient.pyi:70: error: Name 'streaming_callback' already defined on line 45
mypy/typeshed/third_party/2/tornado/httpclient.pyi:74: error: Name 'header_callback' already defined on line 46
mypy/typeshed/third_party/2/tornado/httpclient.pyi:78: error: Name 'prepare_curl_callback' already defined on line 47
This are technically OK, but anyway it looks like an inconsistency that should not be in typeshed IMO.
Metadata
Metadata
Assignees
Labels
No labels