[mypyc] cannot compile parameterized dataclass

Bug Report

mypyc can compile a parameterized dataclass, but it fails at import.

To Reproduce

1. Make a file with

from __future__ import annotations

from dataclasses import dataclass
from typing import TypeVar, Generic


T = TypeVar("T")


class Foo(Generic[T]):
    pass


@dataclass
class Bar(Foo[T]):

    x: T

    @property
    def also_x(self) -> T:
        return self.x

2. Compile with mypyc (it appears that it works)
3. Try importing Bar from file (to discover it does not work)

Actual Behavior

AttributeError                            Traceback (most recent call last)
...
----> 1 from test import Bar

File ~/.../test.py:15, in <module>
     10 class Foo(Generic[T]):
     11     pass
     14 @dataclass
---> 15 class Bar(Foo[T]):
     17     x: T
     19     @property
     20     def also_x(self) -> T:

AttributeError: attribute '__dict__' of 'type' objects is not writable

Your Environment

• Mypy version used: '0.950'
• Mypy command-line flags: --strict
• Mypy configuration options from mypy.ini (and other config files): N/A
• Python version used: 3.9.12
• Operating system and version: macOS Monterey 12.4

test.py にあるパラメーター化された dataclass の reproducer から始め、報告されている Python と mypy のバージョンを使って mypyc でコンパイルします。生成されたモジュールのインポート動作と、dataclass、Generic[T]、property の相互作用を確認します。Bar を AttributeError なしでインポートできれば完了です。