Various class based NamedTuple and TypedDict errors not caught

This example has a bunch of errors that the semantic analyzer should probably report (and one what seems like a false positive):

from typing import NamedTuple, TypeVar, Generic
from typing_extensions import Protocol
from mypy_extensions import TypedDict

@xyz  # No error
class N1(NamedTuple):
   x: int

@xyz  # No error
class T1(TypedDict):
    x: int

class N2(NamedTuple, Protocol):  # No error
   x: int

class T2(TypedDict, Protocol):  # No error
    x: int

class M(type):
    def f(cls) -> None: pass

class N3(NamedTuple, metaclass=M):  # No error
   x: int

N3.f()  # Error

class T3(TypedDict, metaclass=M):  # No error
    x: int

T = TypeVar('T')

class N4(NamedTuple, Generic[T]):  # No error
   x: int

class T4(TypedDict, Generic[T]):  # No error
   x: int

まず Python の例を再現し、セマンティックアナライザーがクラスベースの NamedTuple および TypedDict 定義を処理する流れを追跡します。デコレーター、Protocol とメタクラスの基底、および Generic の組み合わせに関する診断を、報告された偽陽性を含め、issue の期待と比較します。不足しているエラーが報告され、偽陽性が解消されれば完了です。