I think this is another case of <https://youtrack....
# language-proposals
y
I think this is another case of https://youtrack.jetbrains.com/issue/KT-11224 and its friends