Add strong mode type checking pass.

test/typecheck.dart

Index: test/typecheck.dart
diff --git a/test/typecheck.dart b/test/typecheck.dart
new file mode 100644
index 0000000000000000000000000000000000000000..a02815ab0519cb73f43b92176ab2e417e35239a0
--- /dev/null
+++ b/test/typecheck.dart
@@ -0,0 +1,44 @@
+// Copyright (c) 2016, 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.
+import 'package:kernel/kernel.dart';
+import 'package:kernel/class_hierarchy.dart';
+import 'package:kernel/core_types.dart';
+import 'package:kernel/type_checker.dart';
+import 'dart:io';
+
+final String usage = '''
+Usage: typecheck FILE.dill
+
+Runs the strong mode type checker on the given program.
+''';
+
+main(List<String> args) {
+  if (args.length != 1) {
+    print(usage);
+    exit(1);
+  }
+  var program = loadProgramFromBinary(args[0]);
+  var coreTypes = new CoreTypes(program);
+  var hierarchy = new ClassHierarchy(program);
+  new TestTypeChecker(coreTypes, hierarchy).checkProgram(program);
+}
+
+class TestTypeChecker extends TypeChecker {
+  TestTypeChecker(CoreTypes coreTypes, ClassHierarchy hierarchy)
+      : super(coreTypes, hierarchy);
+
+  @override
+  void checkAssignable(TreeNode where, DartType from, DartType to) {
+    if (!environment.isSubtypeOf(from, to)) {
+      fail(where, '$from is not a subtype of $to');
+    }
+  }
+
+  @override
+  void fail(TreeNode where, String message) {
+    Location location = where.location;
+    String locationString = location == null ? '' : '($location)';
+    print('[error] $message $locationString');
+  }
+}