UndefType
dotty.tools.sjs.ir.Types.UndefType
The type of undefined.
Attributes
- Graph
-
- Supertypes
- Self type
-
UndefType.type
Members list
Value members
Inherited methods
Create a new instance of type T with elements taken from product p.
Create a new instance of type T with elements taken from product p.
Attributes
- Inherited from:
- Singleton
Is null an admissible value of this type?
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
A type that accepts the same values as this type except null, unless this type is VoidType.
A type that accepts the same values as this type except null, unless this type is VoidType.
If this is VoidType, returns this type.
For all other types tpe, tpe.toNonNullable.isNullable is false.
Attributes
- Inherited from:
- PrimType
In this article