checkType

abstract val checkType: TypeNode(source)