The bigger issue you're asking about (smart casts ...

# announcements

[karelpeeters]

The bigger issue you're asking about (smart casts for inline functions) is this one: https://youtrack.jetbrains.com/issueMobile/KT-14397 or this one: https://youtrack.jetbrains.com/issueMobile/KT-7186

[diesieben07]

Or, even more generic, make the compiler understand JetBrains' own @Contract annotation.

[karelpeeters]

Do Kotlin methods actually create @Contract annotations?

[diesieben07]

No, but you could.