文書は見かけてないけど、普通のローカル変数と対比して考えれば、 (1)の代入が(2)より先に発生するのは自然だと思います。 var a: Int = { preconditionFailure() }() // (1) a = 3 // (2)