but the thread is here: <https://discuss.kotlinlan...
# language-proposals