This is officially called "Mapped Types". The whol...

# announcements

[voddan]

This is officially called "Mapped Types". The whole system is implemented deep inside of the Kotlin compiler. Docs: http://kotlinlang.org/docs/reference/java-interop.html#mapped-types