Could we use contracts to help compiler realize `x` is not null in this case? Perhaps a specific `sh...

# kotest

[Emil Kantis]

Could we use contracts to help compiler realize x is not null in this case? Perhaps a specific shouldNotBeNull matcher required?

var x: String? = "hello"
x shouldNotBe null
x!!.substring(2) shouldBe "he" // !! should not be necessary, since previous assertion checks that it is not null

[Mervyn McCreight]

I think there is a x.shouldNotBeNull() in place that does what you are searching for 🙂

[Emil Kantis]

Ahh.. of course.. for some reason I looked for it with a space after x, so it would only find infix versions.. 🤦‍♂️