Arguments should be treated the way Java does it
If true, value classes are semi-erased to ErasedValueType (they will be fully erased in ElimErasedValueType). If false, they are erased like normal classes.
Argument forms part of the type of a constructor
Wildcards are acceptable (true when using the erasure for computing a signature name).
The erasure of a symbol's info.
The erasure of a symbol's info. This is different from apply
in the way ExprType
s and
PolyType
s are treated. eraseInfo
maps them them to method types, whereas apply
maps them
to the underlying type.
Throws an UnsupportedOperationException
with the given method name.
Throws an UnsupportedOperationException
with the given method name.