NothingType
dotty.tools.sjs.ir.Types.NothingType
case object NothingType extends PrimTypeWithRef
Nothing type (the bottom type of this type system). Expressions from which one can never come back are typed as Nothing. For example, throw and return.
Attributes
- Graph
-
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalsclass PrimTypeWithRefclass PrimTypeclass Typeclass Objecttrait Matchableclass AnyShow all
- Self type
-
NothingType.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
Inherited fields
Attributes
- Inherited from:
- PrimTypeWithRef
In this article