[match-case] mypy ignores missing `@runtime_checkable` in class-pattern

from typing import Any, Callable, Protocol, runtime_checkable

class Proto(Protocol):
    def foo(self, x: int, /) -> object: ...

def test_object(x: object) -> None:
    match x:
        case Proto() as y:  # No Error
            reveal_type(y)  # N: Revealed type is "__main__.Proto"

    if isinstance(x, Proto):  # E: Only @runtime_checkable protocols ...
        reveal_type(x)  # N: Revealed type is "__main__.Proto"

https://mypy-play.net/?mypy=latest&python=3.12&gist=6e3f280e71d3cb4d6131e51496370f97

Reproduziere das minimale Python-3.12-Beispiel aus dem Issue im verlinkten mypy-playground und vergleiche das Verhalten des Klassenmusters mit der isinstance-Prüfung. Verfolge die match-case-Analyse von mypy für Protokollmuster; die Aufgabe ist abgeschlossen, wenn ein fehlendes @runtime_checkable-Protokoll konsistent mit isinstance diagnostiziert wird.