Немного анонсов грядущих изменений в Kotlin. Вероятно, появится объединение типов и ошибок

Более подробно в тикете: kotl.in/f28fo8

Источник
Это не финальный вид, а только предположение о том, как может выглядеть реализация