https://kotlinlang.org logo
d

damian

08/03/2016, 1:51 PM
I think usually people will create an extension to "rename" such cases