but this one:

public inline fun require(value: Boolean, lazyMessage: () -> Any): Unit

throws exception if precondition fails