I won't mind having another type check in wrapper ...

# language-proposals

[aimozg]

I won't mind having another type check in wrapper between Java and Kotlin if it'll halve the amount of extension functions in stdlib and solve the API design problem literally from last millenium