https://kotlinlang.org logo
s

snrostov

10/25/2017, 9:44 PM
If no, than there is a proposal for that: https://youtrack.jetbrains.com/issue/KT-20958
1