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 are
treated. eraseInfo
maps them them to nullary method types, whereas apply
maps them
to Function0
.
Throws an UnsupportedOperationException
with the given method name.
Throws an UnsupportedOperationException
with the given method name.