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]

Reproduziere den Bericht in example_simple.py mit dem gezeigten mypy-Befehl und untersuche anschließend, wie Protokolle verifizierte Feldtypen behandeln. Kläre das vorgesehene akzeptierte Verhalten und füge dafür Abdeckung hinzu; fertig ist die Aufgabe, wenn das Beispiel das vereinbarte Ergebnis statt der gemeldeten Diagnose zu inkompatiblen Rückgabewerten erzeugt.