Checks subtyping relationship.
The number of dimensions for array types.
The number of dimensions for array types.
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'.
A class type.