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))

El issue proporciona un ejemplo en Python para derivar un Protocol de Foo y comprobar instancias de FooLookalike y Foo contra él. No se nombran archivos, pruebas ni puntos de entrada, así que primero localiza el manejo existente de Protocol y de los constructores de tipos; se considera hecho cuando las asignaciones mostradas pasan el type-check y el ejemplo de cast sigue siendo seguro.