MultiArrayOf

dotty.tools.dotc.core.Definitions.MultiArrayOf
object MultiArrayOf

An extractor for multi-dimensional arrays. Note that this will also extract the high bound if an element type is a wildcard upper-bounded by an array. E.g.

Array[? <: Array[? <: Number]]

would match

MultiArrayOf(<? <: Number>, 2)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply(elem: Type, ndims: Int)(using Context): Type
def unapply(tp: Type)(using Context): Option[(Type, Int)]