assert < bool - expression >; assert < bool - expression > : < expression >; Eliminating a runtime check which always returns false is an easy win, but the SSA form means that we eliminate the bytecode for both expressions of the assert statement including any intermediate values they rely on. For more information see Jesse Wilson's Kotlin’s Assert Is Not Like Java’s Assert post.