Any — корень иерархии non-null типов; Unit — «void» как тип; Nothing — тип без значений (функция не возвращает нормально).
Разбор
Any? включает null.
- Функция без return имеет тип
Unit.
Nothing у throw/TODO() помогает smart cast и exhaustive when.
- Не путать
Unit с null.
Итог
Any/Unit/Nothing — три опорные точки системы типов Kotlin.