Wire up class hierarchy for recursive inheritance

test/codegen/language/recursive_inheritance_test.dart

+// 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:expect/expect.dart";
+
+// Regression test for recursive inheritance patterns
+abstract class Comparable<T> {
+  int compare(T a);
+}
+class MI<T extends MI<T>> {
+}
+
+class PMI<T extends Comparable<T>> extends MI<PMI<T>> {}
+
+void main() {
+  var a = new MI();
+  var b = new PMI();
+  a = b;
+  Expect.isTrue(a is MI);
+  Expect.isTrue(b is PMI);
+  Expect.isTrue(b is MI);
+  Expect.isTrue(b is MI<PMI>);
+}