mypyc: dataclasss __annotations__ are wrong

Bug Report

The __annotations__ of a compiled dataclass are not the same as its pure-python counterpart.

To Reproduce

1. Create a file with a dataclass

from dataclasses import dataclass

@dataclass
class Person:
    age : int
    name : str

2. check it's annotations

python -c "import myfile;print(myfile.Person.__annotations__)"
{'age': <class 'int'>, 'name':  <class 'str'>}

3. Compile it

4. Check the compiled annotations:

python -c "import myfile;print(myfile.Person.__annotations__)"
{'age': <class 'type'>, 'name':  <class 'type'>}

Expected Behavior

The annotations for the compiled class should be {'age': <class 'int'>, 'name': <class 'str'>} but instead they are all <class 'type'>.

I see this in the code:

def add_non_ext_class_attr(builder: IRBuilder,
                           non_ext: NonExtClassInfo,
                           lvalue: NameExpr,
                           stmt: AssignmentStmt,
                           cdef: ClassDef,
                           attr_to_cache: List[Tuple[Lvalue, RType]]) -> None:
    """Add a class attribute to __annotations__ of a non-extension class.

    If the attribute is initialized with a value, also add it to __dict__.
    """
    # We populate __annotations__ because dataclasses uses it to determine
    # which attributes to compute on.
    # TODO: Maybe generate more precise types for annotations
    key = builder.load_str(lvalue.name)
    typ = builder.add(LoadAddress(type_object_op.type, type_object_op.src, stmt.line))
    builder.call_c(dict_set_item_op, [non_ext.anns, key, typ], stmt.line)

So it looks like it's just hard-wiring type_object_op.

It's important to have accurate type annotations, because dataclasses are often inspected dynamically in order to automatically serialize them, generate protobufs, create UIs, etc based on their field data types.

Your Environment

• Mypy version used: 0.920 master
• Python version used: 3.8
• Operating system and version: mac

Beginne damit, die Abweichung anhand des dataclass-Beispiels zu reproduzieren, und untersuche dann mypycs Funktion add_non_ext_class_attr sowie deren Verwendung von type_object_op. Verfolge, wie der Wert der Annotation ausgewählt wird, und überprüfe, dass kompilierte Klassen dieselben int- und str-Annotationen wie die reine-Python-Version bereitstellen.