A modern programming language that makes developers happier.

kotlinlang

I'm not sure where to ask this:
Does anyone know if `contract` will be able to ensure that if you do `precondition(someThing != null) { "Something is required" }` that `someThing` be detected as not null afterwards? Is this in the works?

I don't want to include `assertTrue` in my non-test code. :no_mouth:

I'm not saying to *use* `assertTrue`. I'm saying `assertTrue` uses the contract you described.

I'm going to check if there may be an issue on the topic.

Here's what it looks like.
```
/** Asserts that the expression is `true` with an optional [message]. */
fun assertTrue(actual: Boolean, message: String? = null) {
    contract { returns() implies actual }
    return asserter.assertTrue(message ?: "Expected value to be true.", actual)
}
```

I just discovered that the `precondition` I have been using is my own. :face_palm: So I'm adding `contract`! and `-Xuse-experimental=kotlin.contracts.ExperimentalContracts`  :grinning:

You can also use `require` if you don't want to add the experimental flag.

<https://gist.github.com/corneil/bf38eaf043ccd75e1de5861b2e1bcb1f>