(🐞) `Protocol` not understood as an `ABCMeta`

from abc import ABC, ABCMeta
from typing import Protocol

a: ABCMeta
a = Protocol  # erm, error: "type[type]" is not assignable to "type[ABCMeta]"
a = ABC

mypy in real life

class Interface(Protocol):
    def f(self):
        print("hi")

class Data(Interface, Enum):  # runtime error: the metaclass of a derived class must be a (non-strict) subclass of the metaclasses of all its bases
    a = 1

Start by reproducing the two Python snippets with mypy and Python, focusing on typing.Protocol, ABCMeta, and the Protocol/Enum inheritance case. Trace how mypy represents Protocol's metaclass and checks metaclass compatibility. Done means the reported assignment diagnostic and the incompatible Protocol/Enum case are handled consistently with runtime behavior.