Support cyclic types and F-bounded quantification (issue 439).

tests/language/src/FBoundedQuantificationTest.dart

Index: tests/language/src/FBoundedQuantificationTest.dart
===================================================================
--- tests/language/src/FBoundedQuantificationTest.dart	(revision 7045)
+++ tests/language/src/FBoundedQuantificationTest.dart	(working copy)
@@ -10,7 +10,42 @@
 
 class SubBar extends Bar {}
 
+class Baz<T> extends FBound<Baz<T>> {}
+
+class SubBaz<T> extends Baz<T> {}
+
+
+isCheckedMode() {
+  try {
+    var i = 1;
+    String s = i;
+    return false;
+  } catch(var e) {
+    return true;
+  }
+}
+
 main() {
   FBound<Bar> fb = new FBound<Bar>();
-  FBound<SubBar> fsb = new FBound<SubBar>();  /// 01: static type warning
+  {
+    bool got_type_error = false;
+    try {
+      FBound<SubBar> fsb = new FBound<SubBar>();  /// 01: static type warning
+    } catch (TypeError error) {
+      got_type_error = true;
+    }
+    // Type error in checked mode only.
+    Expect.isTrue(got_type_error == isCheckedMode());  /// 01: continued
+  }
+  FBound<Baz<Bar>> fbb = new FBound<Baz<Bar>>();
+  {
+    bool got_type_error = false;
+    try {
+      FBound<SubBaz<Bar>> fsb = new FBound<SubBaz<Bar>>();  /// 02: static type warning
+    } catch (TypeError error) {
+      got_type_error = true;
+    }
+    // Type error in checked mode only.
+    Expect.isTrue(got_type_error == isCheckedMode());  /// 02: continued
+  }
 }