Spec: Annotating the `self` argument in `__init__` methods

As described here, I’m opening a thread on this forum regarding a draft proposal that I have started here: Spec: Annotating the `self` argument in `__init__` methods · Issue #1563 · python/typing · GitHub.

I think the best for now would be to keep the proposal on the GH issue (it should have been here but that was before the procedure was added) and discussion can happen here? Or do you want me to close the GH issue and continue everything there?

I’m still in the process of finding examples that would prove the usefulness of such a feature, and will try to write the specification from there (I’ll do my best on that part as I’m not maintaining any type checker and may not be aware of some limitations).

Any feedback/use case is welcome!