logicalNotType

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

In implementation of logicalNotType should look something like this:

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

Parameters