>>140
規格には、どういったケースでstatic type warningを出すかだけが書かれてるようだね。

ダウンキャストについてはDartのトップページ -> Articles -> Optional Types in Dart
って進んだところにある The static checker というパラグラフに書いてある。