ArrayType
dotty.tools.sjs.ir.Types.ArrayType
final case class ArrayType(arrayTypeRef: ArrayTypeRef, nullable: Boolean) extends Type
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
-
- Supertypes
Members list
In this article