Support frozen=TYPE_CHECKING for dataclasses

Feature

In a project I am working on, we would like to be able to annotate dataclasses such that usually, there values should not be changed, while allowing to do so at runtime (for some construction methods and testing, more or less.

To do so, we would like to specify @dataclasses.dataclass(frozen=typing.TYPE_CHECKING)

Pitch

This could help to detect misuse of classes without introducing strict runtime guarantees.

Beginne damit, die Verarbeitung von dataclass-Dekoratoren und des Ausdrucks typing.TYPE_CHECKING durch mypy nachzuverfolgen. Die Aufgabe ist erledigt, wenn die vorgeschlagene Form frozen=typing.TYPE_CHECKING akzeptiert wird und eine statische Prüfung der Unveränderlichkeit ermöglicht, ohne das Laufzeitverhalten von frozen zu erzwingen.