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...., I see: workers = 0 @property def workers(self): What is the correct way to fix this? Is deleting the workers variable correct? -- Craig