[Twisted-Python] mypy: class ThreadPool has workers redefined

[Craig Rodrigues]

While looking at these mypy logs:

https://dev.azure.com/twistedmatrix/twisted/_build/results?buildId=1904&view=logs&j=d78da089-4bf6-58fe-28a5-46635fd5b8d1&t=45ce7910-c28c-5e9a-4ee7-e041d314a5fc

I found an interesting one:

src/twisted/python/threadpool.py:84:6: error: Name 'workers' already
defined on line 44  [no-redef]


Looking at: https://github.com/twisted/twisted/blob/trunk/src/twisted/python/threadpool.py,
I see:

    workers = 0

    @property
    def workers(self):


What is the correct way to fix this?  Is deleting the workers variable correct?

--

Craig
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/twisted-python/attachments/20200616/a70dad24/attachment.htm>