Infer descriptor type

Feature

For the common case of a descriptor which behaves like a normal attribute, infer:

class X:
    y: int = descriptor()

to:

class X:
    y: descriptor[int] = descriptor()

if descriptor is a Generic with one parameter. Extra checks should also be done to make sure that the descriptor is properly typed to behave like an attribute of that type (__get__ and __set__ expect that type on an instance).

Pitch

Type annotations apply to object instances by default, so it's strange to see y: descriptor[int] as type annotation while x.y returns an int.
You could also see a normal attribute as an invisible descriptor whose behavior is to set __dict__[name] (and raise AttributeError on the class), so this could be a way to unify these things.

It's also related to:
https://github.com/python/mypy/issues/7724
https://github.com/python/mypy/issues/5481

I implemented it partially as a plugin but only for my custom descriptors.

Issue không nêu tên các tệp triển khai, các bài kiểm thử hoặc một điểm bắt đầu, vì vậy trước tiên hãy xem lại các cuộc thảo luận liên quan đến descriptor trong các issue #7724 và #5481, cùng với hành vi của plugin hiện có được mô tả ở đây. Công việc được xem là hoàn tất khi đã quyết định được cách tiếp cận để suy luận kiểu descriptor tổng quát và xác thực các chữ ký của get và set.