dotty.tools.sjs.ir.Types.ArrayType
Array type.
Although the array type itself may be non-nullable, the elements of an array are always nullable for non-primitive types. This is unavoidable, since arrays can be created with their elements initialized with the zero of the element type.
Attributes
Graph
Reset zoom Hide graph Show graph
Supertypes
trait Matchable
class Any
Show all
Members list
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
Is null an admissible value of this type?
Is null an admissible value of this type?
Attributes
Inherited from:
Type
An iterator over the names of all the elements of this product.
An iterator over the names of all the elements of this product.
Attributes
Inherited from:
Product
An iterator over all the elements of this product.
An iterator over all the elements of this product.
Attributes
Returns
in the default implementation, an Iterator[Any]
Inherited from:
Product
Attributes
Inherited from:
Type
