Compute bounds of type variables.

pkg/front_end/test/fasta/rasta/issue_000067.dart.outline.expect

 library;
 import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
   constructor •() → void
     ;
+  static factory foo() → self::A
+    invalid-statement;
   method m() → core::int
     ;
-  static factory foo() → self::A
-    invalid-statement;
 }
 class C extends self::A {
   constructor •() → void
     ;
+  static factory bar() → self::D
+    throw "Missing constructor: D";
   method m() → core::int
     ;
-  static factory bar() → self::C
-    throw "Missing constructor: D";
 }
 class D extends self::C {
   constructor •() → void
     ;
   method m() → core::int
     ;
 }
 static method main() → dynamic
   ;