binaryAndType

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

In implementation of binaryAndType should look something like this:

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

Parameters