subtractionType

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

In implementation of subtractionType should look something like this:

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

Parameters