Type annotation in class definitions are not preserved

[JSAbrahams]

Description of Bug

Type annotation in class definitions are not preserved, it seems anyway. This isn't a breaking feature, and the type checker does appear to work correctly (as though it is actually annotated). So it really is something with the generation stage.

How to Reproduce

class X(def a: Float)

is converted to:

class X:
    def __init__(self, a):
        self.a = a

[JSAbrahams]

False alarm