Ensure that types of fields of T{c} reflect c.

Description

X10ClassDef_c.classInvariant is wrong, i.e., it doesn't include X10ClassDecl_c.classInvariant.
I see similar code for traversing the superclass and superinterface in both:

However, no code piece actually adds X10ClassDecl_c.classInvariant to X10ClassDef_c.classInvariant

Also, there are circularity issues when calculating the real clause.

Finally, ConstrainedType_c doesn't pass its constraint to the fields in method fields

Environment

None

Status

Assignee

VijayV

Reporter

Imported User 24

Labels

None

Fix versions

Affects versions

Priority

High
Configure