Type of an term (expression or statement) in the IR.
There is a many-to-one relationship from ReferenceTypes to types,
because:
scala.Byte, scala.Short and scala.Int collapse to IntType
java.lang.Object and raw JS types all collapse to AnyType
In fact, there are two Types that do not have any real equivalent in
reference types: StringType and UndefType, as they refer to the
non-null variants of java.lang.String and scala.runtime.BoxedUnit,
respectively.
Type of an term (expression or statement) in the IR.
There is a many-to-one relationship from ReferenceTypes to types, because:
scala.Byte
,scala.Short
andscala.Int
collapse to IntTypejava.lang.Object
and raw JS types all collapse to AnyTypeIn fact, there are two
Type
s that do not have any real equivalent in reference types: StringType and UndefType, as they refer to the non-null variants ofjava.lang.String
andscala.runtime.BoxedUnit
, respectively.