Protocols for types with fields that can be verified

$ pip freeze | rg mypy
mypy-extensions==0.4.1
mypy-mypyc==0.670

I have some complex objects that can be in one of several states once they have been verified, and I'd like to represent that verification as different types, but I'm having a hard time getting it to work with protocols.

I believe that something like this should work:

from __future__ import annotations
from typing import NamedTuple, Protocol, Optional

class Simple:
    two: Optional[int]

    def as_simpl_verified(self) -> SimpleVerified:
        assert self.two is not None
        return self

class SimpleVerified(Protocol):
    two: int

but I get this error:

$ mypy example_simple.py
example_simple.py:11: error: Incompatible return value type (got "Simple", expected "SimpleVerified")
example_simple.py:11: note: Following member(s) of "Simple" have conflicts:
example_simple.py:11: note:     two: expected "int", got "Optional[int]

Riproduci il problema segnalato in example_simple.py con il comando mypy mostrato, quindi analizza come i protocolli gestiscono i tipi dei campi verificati. Chiarisci quale sia il comportamento accettato previsto e aggiungi una copertura per esso; il lavoro è completato quando l’esempio produce il risultato concordato invece della diagnostica segnalata relativa a un valore restituito incompatibile.