https://kotlinlang.org logo
#announcements
Title
# announcements
k

karelpeeters

09/10/2017, 10:21 AM
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
d

diesieben07

09/10/2017, 12:48 PM
Or, even more generic, make the compiler understand JetBrains' own
@Contract
annotation.
k

karelpeeters

09/10/2017, 12:49 PM
Do Kotlin methods actually create
@Contract
annotations?
d

diesieben07

09/10/2017, 1:33 PM
No, but you could.
2 Views