Simple subtyping check
The number of dimensions for array types.
On the JVM, BOOL, BYTE, CHAR, SHORT, and INT are like Ints for the purposes of calculating the lub.
On the JVM, similar to isIntSizedType except that BOOL isn't integral while LONG is.
On the JVM, FLOAT and DOUBLE.
Is this type a category 2 type in JVM terms? (ie, is it LONG or DOUBLE?)
(typeKind: StringAdd).self
(typeKind: StringFormat).self
(typeKind: ArrowAssoc[ICodes.TypeKind]).x
(Since version 2.10.0) Use leftOfArrow
instead
(typeKind: Ensuring[ICodes.TypeKind]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
This class represents a type kind. Type kinds represent the types that the VM know (or the ICode view of what VMs know).