i’d also be really happy with <https://youtrack.je...

# language-proposals

[edenman]

i’d also be really happy with https://youtrack.jetbrains.com/issue/KT-9316 as a solution, but that also seems to have some resistance