Support reflection on recursive upper bounds of type variables.

tests/lib/mirrors/generic_f_bounded_test.dart

 // Copyright (c) 2013, 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.
 
 library test.generic_f_bounded;
 
 import 'dart:mirrors';
 
 import 'package:expect/expect.dart';
 
 import 'generics_test.dart';
 
 class Magnitude<T> {}
 class Real extends Magnitude<Real> {}
 class Sorter<R extends Magnitude<R>> {}
 class RealSorter extends Sorter<Real> {}
 
 main() {
   ClassMirror magnitudeDecl = reflectClass(Magnitude);
   ClassMirror realDecl = reflectClass(Real);
   ClassMirror sorterDecl = reflectClass(Sorter);
   ClassMirror realSorterDecl = reflectClass(RealSorter);
   ClassMirror magnitudeOfReal = realDecl.superclass;
   ClassMirror sorterOfReal = realSorterDecl.superclass;
 
   Expect.isTrue(magnitudeDecl.isOriginalDeclaration);
   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;
 
   Expect.equals(reflectClass(Object), tFromMagnitude.upperBound);
 
   ClassMirror magnitudeOfR = rFromSorter.upperBound;
   Expect.isFalse(magnitudeOfR.isOriginalDeclaration);
   Expect.equals(magnitudeDecl, magnitudeOfR.originalDeclaration);
   Expect.equals(rFromSorter, magnitudeOfR.typeArguments.single);
 
   typeParameters(magnitudeDecl, [#T]);
   typeParameters(realDecl, []);
   typeParameters(sorterDecl, [#R]);
   typeParameters(realSorterDecl, []);
   typeParameters(magnitudeOfReal, [#T]);
   typeParameters(sorterOfReal, [#R]);
   typeParameters(magnitudeOfR, [#T]);
 
   typeArguments(magnitudeDecl, []);
   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]);
 }