I mentioned this elsewhere to JetBrains people, bu...
# language-proposalsj
jw
10/28/2017, 12:19 AMI mentioned this elsewhere to JetBrains people, but proposed perhaps a
@JvmVoid➕ 2
jw
10/28/2017, 12:19 AM@JvmVoid