Allow setting a final instance attribute in `__set_name__`?

Currently, Mypy reports the following problems:

from typing import Any, Final, Type

class D:
    name: Final[str]  # error: Final name must be initialized with a value  [misc]

    def __set_name__(self, owner: Type[Any], name: str) -> None:
        self.name = name  # error: Cannot assign to final attribute "name"  [misc]

I know PEP 591 does not mention __set_name__, but I think it could be helpful if Mypy would handle it like __init__ regarding the one-time initialisation of instance attributes.

Inizia riproducendo l’esempio Python dell’issue e confrontalo con la gestione esistente di Mypy degli attributi di istanza Final in init. Analizza dove vengono esaminate le regole di assegnazione di Final e il comportamento di set_name. Il lavoro è completo quando il comportamento di inizializzazione una tantum proposto è implementato con copertura di regressione e l’esempio non segnala più nessuno dei due errori.