dotty.tools.dotc.core.TypeErasure
See theTypeErasure companion object
class TypeErasure(sourceLanguage: SourceLanguage, semiEraseVCs: Boolean, isConstructor: Boolean, isSymbol: Boolean, wildcardOK: Boolean)
Attributes
- isConstructor
Argument forms part of the type of a constructor
- isSymbol
If true, the type being erased is the info of a symbol.
- semiEraseVCs
If true, value classes are semi-erased to ErasedValueType (they will be fully erased in ElimErasedValueType). If false, they are erased like normal classes.
- sourceLanguage
Adapt our erasure rules to mimic what the given language would do.
- wildcardOK
Wildcards are acceptable (true when using the erasure for computing a signature name).
- Companion:
- object
- Graph
- Supertypes