(though <@U0B99LPPW> has probably already made th...
# language-proposals
e
(though @yan has probably already made the Kotlin team aware of that particular issue)