I was a bit proponent for that too. I know it's no...

# language-proposals

[kevinmost]

I was a bit proponent for that too. I know it's not a priority but I'm happy to hear that pure or something like it is on the JB team's radar. Is there a Youtrack ticket we should vote on for that? I see https://youtrack.jetbrains.com/issue/KT-6771, but it relates to another, much broader-sounding ticket