Proposal: Enhancing Type Safety for `__set_name__` in Descriptors

Typing
11

I understand that such errors can be raised at runtime in those situations.
I made this proposal thinking that if the type checker could blame such a codebase with static analysis before execution, it could efficiently prevent bugs.

Thank you.