Flow では、未注釈の変数の型を初期化時に決める新しい言語ルールをリリースします。この新しいルールに伴い、リファインメントが無効にならない原因となった健全性バグもいくつか修正されます。