Support type promotion in dart2js.

tests/compiler/dart2js/type_promotion_test.dart

Index: tests/compiler/dart2js/type_promotion_test.dart
diff --git a/tests/compiler/dart2js/type_promotion_test.dart b/tests/compiler/dart2js/type_promotion_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..37f77c9748b472c16735f2752b76a4c308d83b3b
--- /dev/null
+++ b/tests/compiler/dart2js/type_promotion_test.dart
@@ -0,0 +1,77 @@
+// Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+// Test that dart2js produces the expected static type warnings for type
+// promotion langauge tests. This ensures that the analyzer and dart2js agrees
+// on these tests.
+
+import 'dart:async';
+import 'dart:io';
+import 'package:expect/expect.dart';
+import 'memory_compiler.dart';
+import '../../../sdk/lib/_internal/compiler/implementation/filenames.dart';
+import '../../../sdk/lib/_internal/compiler/implementation/source_file.dart';
+import '../../../sdk/lib/_internal/compiler/implementation/source_file_provider.dart';
+import '../../../sdk/lib/_internal/compiler/implementation/util/uri_extras.dart';
+
+const List<String> TESTS = const [
+    'language/type_promotion_assign_test.dart',
+    'language/type_promotion_closure_test.dart',
+    'language/type_promotion_functions_test.dart',
+    'language/type_promotion_local_test.dart',
+    'language/type_promotion_logical_and_test.dart',
+    'language/type_promotion_more_specific_test.dart',
+    'language/type_promotion_multiple_test.dart',
+    'language/type_promotion_parameter_test.dart',
+];
+
+void main() {
+  bool isWindows = (Platform.operatingSystem == 'windows');
+  Uri script = currentDirectory.resolve(nativeToUriPath(Platform.script));
+  bool warningsMismatch = false;
+  Future.forEach(TESTS, (String test) {
+    Uri uri = script.resolve('../../$test');
+    String source = readAll(uriPathToNative(uri.path));
+    SourceFile file = new SourceFile(
+        relativize(currentDirectory, uri, isWindows), source);
+    Map<int,String> expectedWarnings = {};
+    int lineNo = 0;
+    for (String line in source.split('\n')) {
+      if (line.contains('///') && line.contains('static type warning')) {
+        expectedWarnings[lineNo] = line;
+      }
+      lineNo++;
+    }
+    Set<int> unseenWarnings = new Set<int>.from(expectedWarnings.keys);
+    DiagnosticCollector collector = new DiagnosticCollector();
+    var compiler = compilerFor(const {},
+         diagnosticHandler: collector,
+         options: ['--analyze-only'],
+         showDiagnostics: false);
+    return compiler.run(uri).then((_) {
+      for (DiagnosticMessage message in collector.warnings) {
+        Expect.equals(uri, message.uri);
+        int lineNo = file.getLine(message.begin);
+        if (expectedWarnings.containsKey(lineNo)) {
+          unseenWarnings.remove(lineNo);
+        } else {
+          warningsMismatch = true;
+          print(file.getLocationMessage(
+              'Unexpected warning: ${message.message}',
+              message.begin, message.end, true, (x) => x));
+        }
+      }
+      if (!unseenWarnings.isEmpty) {
+        warningsMismatch = true;
+        for (int lineNo in unseenWarnings) {
+          String line = expectedWarnings[lineNo];
+          print('$uri [${lineNo+1}]: Missing static type warning.');
+          print(line);
+        }
+      }
+    });
+  }).then((_) {
+    Expect.isFalse(warningsMismatch);
+  });
+}