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

tests/co19/co19-runtime.status

Index: tests/co19/co19-runtime.status
===================================================================
--- tests/co19/co19-runtime.status	(revision 7045)
+++ tests/co19/co19-runtime.status	(working copy)
@@ -123,6 +123,7 @@
 LibTest/core/Queue/add_A01_t01: Skip # Timeout
 
 [ $runtime == vm && $checked ]
+Language/09_Generics/09_Generics_A04_t06: Fail # co19 issue 118
 Language/10_Expressions/10_Instance_Creation/1_New_A07_t01: Fail # TODO(vm-team): New failure, please triage.
 Language/10_Expressions/10_Instance_Creation/1_New_A12_t01: Fail # TODO(vm-team): New failure, please triage.
 Language/11_Statements/15_Assert_A03_t08: Fail # TODO(vm-team): New failure, please triage.
@@ -205,7 +206,6 @@
 Language/08_Interfaces/3_Factories_and_Constructors_A06_t08: Fail
 Language/08_Interfaces/4_Superinterfaces/1_Inheritance_and_Overriding_A01_t02: Fail
 Language/08_Interfaces/4_Superinterfaces_A01_t02: Fail
-Language/09_Generics/09_Generics_A04_t06: Fail # Issue 439
 LibTest/core/FallThroughError/FallThroughError_A01_t01: Fail
 LibTest/core/FallThroughError/toString_A01_t01: Fail
 LibTest/core/Match/group_A01_t01: Fail # co19 issue 92
@@ -234,15 +234,13 @@
 Language/11_Statements/11_Labels_A01_t03: Fail # TODO(vm-team): New failure at r164. Please triage.
 Language/12_Libraries_and_Scripts/1_Imports_A05_t01: Fail # TODO(vm-team): New failure at r164. Please triage.
 
-[ $runtime == vm  && $unchecked ]
-Language/09_Generics/09_Generics_A04_t04: Fail # co19 issue 117
 
-
 [ $runtime == vm && $arch == ia32 ]
 LibTest/core/int/operator_left_shift_A01_t02: Fail
 
 
 [ $runtime == vm && $unchecked ]
+Language/09_Generics/09_Generics_A04_t04: Fail # co19 issue 117
 Language/13_Types/1_Static_Types_A02_t08: Fail
 Language/13_Types/2_Dynamic_Type_System_A02_t01: Fail # # co19 issue 97