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

# announcements

[LS]

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

[LS]

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

[crummy]

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

[LS]

1.3.72-release-IJ2020.1-1

[crummy]

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

[Dominaezzz]

Is that ..... a member variable?

[LS]

It is a property in the actual code, yes

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

[Dominaezzz]

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

[Dominaezzz]

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

[LS]

Oh, I thought that only applied to var members 🤷‍♂️
Thanks!

[LS]

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

[streetsofboston]

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