Miniboxed classes and traits become traits with subclasses/subtraits as specialized variants This set contains the traits that were transformed.
Miniboxed classes and traits become traits with subclasses/subtraits as specialized variants This set contains the traits that were transformed.
A list of dummy constructors necessary to satisfy the duplicator
A list of dummy constructors necessary to satisfy the duplicator
Records for each of the specialized classes the tag field to type parameter correspondence.
Records for each of the specialized classes the tag field to type parameter correspondence. These are local type tags, used in all members.
A list of members that represent type tags *inherited* from traits -- unlike type tags in a class, which are fields, these are methods which the inheriting class overrides.
A list of members that represent type tags *inherited* from traits -- unlike type tags in a class, which are fields, these are methods which the inheriting class overrides.
Records for each of the specialized classes the tag field to type parameter correspondence.
Records for each of the specialized classes the tag field to type parameter correspondence. These are local type tags, used in each member.
For each method this keeps a mapping of its normalized variants
For each method this keeps a mapping of its normalized variants
Partial normalization corresponding to a normalized method
Partial normalization corresponding to a normalized method
For each method contains the stem method
For each method contains the stem method
TODO
TODO
A list of members that represent a trait's *own type tags* -- not the ones inherited, but the ones corresponding to its type parameters.
A list of members that represent a trait's *own type tags* -- not the ones inherited, but the ones corresponding to its type parameters. Keep in mind that several deferred type tags may ultimately correspond to the same type parameter, since the methods have different names in different inherited traits.
The set of members that provide the template to copy and specialize by the specialized overloads
The set of members that provide the template to copy and specialize by the specialized overloads
Contains the metadata and accessors