Почему код из официальной документации kotlin привел данный пример?

Question

[artem]

val c: Int  // Type required when no initializer is provided
c = 3       // deferred assignment

Почему код из официальной документации kotlin привел данный пример? Как я нагуглил, переменная не может не быть инициализирована. По крайней мере, нужно прописать lateinit или же присвоить null

Comments

[Денис Загаевский]

Научись формулировать мысли нормально. Код никуда никого не приводил.

Answer 1

[Кирилл Романов]

Это верно для полей класса, но не для локальных переменных. Локальные переменные можно инициализировать отдельно от объявления. Компилятор убедится, что это будет сделано до первого обращения к ней

Comments

[Денис Загаевский]

Поля класса точно так же можно инициализировать отдельно.

[artem]

Денис Загаевский, почему тогда IDE ругается?

[Василий Банников]

artem, покажи весь код и ошибку.
Скорее всего IDE предлагает просто заинлайнить это

[artem]

Василий Банников, та мне уже подсказали в телеге. Эта конструкция работает только локально, а в классе нужно объявлять ее в блоке init