Type of a term (expression or statement) in the IR.
There is a many-to-one relationship from TypeRefs to Types,
because 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
type refs: StringType and UndefType, as they refer to the
non-null variants of java.lang.String and scala.runtime.BoxedUnit,
respectively.
Type of a term (expression or statement) in the IR.
There is a many-to-one relationship from TypeRefs to
Type
s, becausejava.lang.Object
and raw JS types all collapse to AnyType.In fact, there are two
Type
s that do not have any real equivalent in type refs: StringType and UndefType, as they refer to the non-null variants ofjava.lang.String
andscala.runtime.BoxedUnit
, respectively.