Feature request: Provide a type constructor that derives a Protocol from another type

Please provide more information to help us understand the issue:

class Foo:
  num: int = 1
  msg: str = "hello"

FooProtocol = protocol(Foo, include_private=False)

FooLookalike = NamedTuple("FooLookalike", [("num", int), ("msg", str)])

# ok
maybe_foo: FooProtocol = FooLookalike(num=2, msg="bye")

# ok
maybe_foo = Foo()

# safely cast when using Fakes in a test
test_foo(cast(Foo, maybe_foo))

Das Issue enthält ein Python-Beispiel dafür, ein Protocol von Foo abzuleiten und FooLookalike- sowie Foo-Instanzen dagegen zu prüfen. Es werden keine Dateien, Tests oder Einstiegspunkte genannt. Suche daher zuerst nach der bestehenden Behandlung von Protocols und Typkonstruktoren. Als erledigt gilt die Aufgabe, wenn die gezeigten Zuweisungen den Type-Check bestehen und das Cast-Beispiel sicher bleibt.