while-loop - Kotlinのwhile条件本体で変数を初期化することは可能ですか?

Question

以下のコードでは：

    var verticesCount: Int // to read a vertices count for graph

    // Reading until we get a valid vertices count.
    while (!Assertions.checkEnoughVertices(
            verticesCount = consoleReader.readInt(null, Localization.getLocStr("type_int_vertices_count"))))
        // The case when we don't have enough vertices.
        println(String.format(Localization.getLocStr("no_enough_vertices_in_graph"),
                              Assertions.CONFIG_MIN_VERTICES_COUNT))

    val resultGraph = Graph(verticesCount)

最後の行で次のエラーが発生しています。

Error:(31, 33) Kotlin: Variable 'verticesCount' must be initialized

Assertions.checkEnoughVerticesは安全な型変数 (verticesCount: Int) を引数として受け入れるため、ここで verticesCount を未初期化または null にすることはできません (これらの行で対応するエラーは発生しません)。

すでに初期化された変数が再び初期化されなくなると、最後の行で何が起こっているのでしょうか?