additionType

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

In implementation of additionType should look something like this:

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

Parameters