Overloading an abstract attribute with a Final one

In the following code it would be useful to mark toto as final to make sure no code modifies it by error. However this triggers Cannot override writable attribute "toto" with a final one

from typing import Final

class Base:
    toto: str = NotImplemented
    def access_toto(self) -> str:
        return self.toto

class CmdA(Base):
    toto: Final[str] = "toto"

In fact I tend to agree with that error, in that what I'd really like to do is to annotate toto as "abstract final", which is not possible either as the use of toto: Final[str] triggers Final name must be initialized with a value, and toto: Final[str] = NotImplemented still gets the
Cannot override final attribute "toto" (previously declared in base class "Base") the previous attempt also showed.

• Mypy version used: 1.1.1, 0.812
• Python version used: 3.9.2

Inizia riproducendo l’esempio fornito con mypy 1.1.1 e 0.812, quindi confronta le diagnosi per gli attributi Final e l’ereditarietà. Nel report non sono indicati file o test; il lavoro è completo quando esiste un’interpretazione concordata degli attributi abstract-final e del comportamento o delle diagnosi corrispondenti.