propagateTypeOfBinaryOperation

open override fun propagateTypeOfBinaryOperation(operation: BinaryOperator): Type