sounds like <https://youtrack.jetbrains.com/issue/...

# language-proposals

[jw]

sounds like https://youtrack.jetbrains.com/issue/KT-16637