logicalAndType

Returns the type of the expression this && other If the and operator is not overloaded, this method should look for a default and operator and resolve the type itself. This isi the default implementation of logicalAndType, we don't know anything about the type here and so we just try to search for an overloaded operator.

In implementation of logicalAndType should look something like this:

override fun logicalAndType(other: ShakeType, scope: ShakeScope): ShakeType? {
  return super.logicalAndType(other, scope) ?: ... // default operator stuff
}

Parameters