たとえば・・・

11:41 AM

let a: Int if (cond) { fatalError("illegal") } else { a = 3 } showValue(a) (edited)

11:41 AM

こういうコードの場合、showValueの行でaが初期化ずみであることがフロー的に保証されるけど

11:42 AM

もし、「リリース時は落ちないfatalError」であれば、

11:42 AM

あ、これおかしいな

11:42 AM

えーっと・・・

11:42 AM

こうだ。

11:42 AM

condが真になったばあいに、aが未初期化のままshowValueの行に到達する可能性があるんで

11:42 AM

コンパイルできないです