в котлине это свойство и проверка просто встроенна в компилятор, а завтипы позволяют такие свойства выражать самому и явно с ними работать как со значениями
Да, вот это было понятно. Кажется, что это чисто компаел тайм и в сложных случаях может затормозить сборку