Array subtyping is covariant, as in Java.
The number of dimensions for array types.
The ultimate element type of this array.
On the JVM, these types are like Ints for the purposes of calculating the lub.
On the JVM, these types are like Ints for the purposes of calculating the lub.
Is this type a category 2 type in JVM terms?
Is this type a category 2 type in JVM terms?
Approximate lub'. The common type of two references is
always AnyRef. For 'real' least upper bound wrt to subclassing
use method 'lub'.