dart (bleeding_edge rev. 623) の型検査バグ? ではなく、型検査オプションが必要だという話でした

gistfile1.txt

foo() {
  List<List<int>> arr;
  arr[0] = 0; // no error nor warning
  arr = 0;    // ditto
}
main() {}

// % dart foo.dart
// %
// % dart --enable_type_chekcs foo.dart
// %
// % dartc foo.dart --enable_type_checks
// foo.dart/foo.dart:3: int is not assignable to List<int>
//   ... messages ...
// % dartc foo.dart --enable_type_checks
// %