Type inference for Dart.