David Euresti

Oh right. We're actually trying to read code in the middle of mypy. Ok so I think the workaround might be: ``` if TYPE_CHECKING: # For mypy's sake @attr.s(auto_attribs=True) class...

Hi. There are 2 issues here. 1. That error shouldn't have been there. It's just deprecated not an error. This has been fixed on mypy master. 2. The attrs stubs...

I think it's for us to decide. We decided to give me permission to add the stubs to attrs. :) `eq` and `order` are new in 19.3(?) so it makes...

This also affects a common usage of attrs: ``` import attr from typing import Sequence x: Sequence[int] = attr.Factory(list) # Incompatible types in assignment (expression has type "List[_T]", variable has...

Weird. I don't get an error with mypy 0.950 ``` $ mypy --version mypy 0.950 (compiled: yes) ``` I do have a quick question since I can't repro. If this...

Section 2.7.1 Private Tag Extension does say that these tags are "valid" Furthermore, > All tag names that do not contain a period (.) are reserved for use in future...

You can use classImplements like this: ``` from zope.interface import classImplements classImplements(C, IAB) classImplements(D, IAB) ```