(🐞) `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

Inizia riproducendo i due snippet Python con mypy e Python, concentrandoti su typing.Protocol, ABCMeta e sul caso di ereditarietà Protocol/Enum. Traccia il modo in cui mypy rappresenta la metaclasse di Protocol e verifica la compatibilità tra metaclassi. Il lavoro è completo quando la diagnostica di assegnazione segnalata e il caso incompatibile Protocol/Enum vengono gestiti in modo coerente con il comportamento a runtime.