A modern programming language that makes developers happier.

kotlinlang

image.png

Shouldn't foo be smart cast to non-null in the second condition?

Also, if I apply one of the quick fixes suggested by IntelliJ, I get this

that does look odd... but I couldn't reproduce it here: <https://pl.kotl.in/hRwiWg4Z3> what version of Kotlin are you using?

I ran the same version in the playground and it works fine. very strange! :shrug:

It is a property in the actual code, yes

I've reproduced it here:
<https://play.kotlinlang.org/#eyJ2ZXJzaW9uIjoiMS4zLVJDIiwiY29kZSI6ImNsYXNzIEEge1xuICAgIHZhbCBmb286ICgoSW50KSAtPiBCb29sZWFuKT8gPSBudWxsXG59XG5cbmZ1biBtYWluKCkge1xuICAgIHZhbCBhID0gQSgpXG4gICAgaWYgKGEuZm9vID09IG51bGwgfHwgYS5mb28oNCkpIHsgIH1cbn0iLCJwbGF0Zm9ybSI6ImphdmEiLCJhcmdzIjoiLXdkIGltcG9ydCBhY2NvcmQgLWEgXCJhYmMgYXdlZmFlZiB3YWVmIFwiIn0=>

Smart cast don't work on member variables! You have to make local copy.

`if (a.foo?.invoke(4) != false)`  You could also do this. Not sure if I recommend it though.

Oh, I thought that only applied to `var` members :man-shrugging:
Thanks!

Ok so this is interesting - if I surround `foo` with parentheses, it does get smart cast:
<https://play.kotlinlang.org/#eyJ2ZXJzaW9uIjoiMS4zLVJDIiwiY29kZSI6ImNsYXNzIEEge1xuICAgIHZhbCBmb286ICgoSW50KSAtPiBCb29sZWFuKT8gPSBudWxsXG59XG5cbmZ1biBtYWluKCkge1xuICAgIHZhbCBhID0gQSgpXG4gICAgaWYgKGEuZm9vID09IG51bGwgfHwgKGEuZm9vKSg0KSkgeyAgfVxufSIsInBsYXRmb3JtIjoiamF2YSIsImFyZ3MiOiItd2QgaW1wb3J0IGFjY29yZCAtYSBcImFiYyBhd2VmYWVmIHdhZWYgXCIifQ==>

Strange...
Maybe same issue/cause as mentioned in the previous thread?
<https://youtrack.jetbrains.com/issue/KT-38134|https://youtrack.jetbrains.com/issue/KT-38134>