Support reflection on recursive upper bounds of type variables.

tests/lib/mirrors/generic_f_bounded_test.dart

Index: tests/lib/mirrors/generic_f_bounded_test.dart
diff --git a/tests/lib/mirrors/generic_f_bounded_test.dart b/tests/lib/mirrors/generic_f_bounded_test.dart
index 3d9244c28e22bcae25d277af89cf277afd2095c3..96148ccad0d4ad6974fa1b522b04d01d9d737933 100644
--- a/tests/lib/mirrors/generic_f_bounded_test.dart
+++ b/tests/lib/mirrors/generic_f_bounded_test.dart
@@ -27,8 +27,8 @@ main() {
   Expect.isTrue(realDecl.isOriginalDeclaration);
   Expect.isTrue(sorterDecl.isOriginalDeclaration);
   Expect.isTrue(realSorterDecl.isOriginalDeclaration);
-  Expect.isFalse(magnitudeOfReal.isOriginalDeclaration);
-  Expect.isFalse(sorterOfReal.isOriginalDeclaration);
+  Expect.isFalse(magnitudeOfReal.isOriginalDeclaration); ///  01: ok
+  Expect.isFalse(sorterOfReal.isOriginalDeclaration); ///  01: ok
 
   TypeVariableMirror tFromMagnitude = magnitudeDecl.typeVariables.single;
   TypeVariableMirror rFromSorter = sorterDecl.typeVariables.single;
@@ -52,7 +52,7 @@ main() {
   typeArguments(realDecl, []);
   typeArguments(sorterDecl, []);
   typeArguments(realSorterDecl, []);
-  typeArguments(magnitudeOfReal, [realDecl]);
-  typeArguments(sorterOfReal, [realDecl]);
+  typeArguments(magnitudeOfReal, [realDecl]); ///  01: ok
+  typeArguments(sorterOfReal, [realDecl]); /// 01: ok
   typeArguments(magnitudeOfR, [rFromSorter]);
 }