Fix finalization of recursive type graph with bounds (issue 25389).

tests/language/regress_25389_test.dart

Index: tests/language/regress_25389_test.dart
diff --git a/tests/language/type_variable_closure3_test.dart b/tests/language/regress_25389_test.dart
similarity index 52%
copy from tests/language/type_variable_closure3_test.dart
copy to tests/language/regress_25389_test.dart
index ecb1c39e82ed81cc01dd061dca2b5070890f985b..8bcd79ac976bf137f1d2e7b84a6ab94e144bd74a 100644
--- a/tests/language/type_variable_closure3_test.dart
+++ b/tests/language/regress_25389_test.dart
@@ -1,18 +1,15 @@
 // Copyright (c) 2016, 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.
+// VMOptions=--error-on-bad-type
 
-import "package:expect/expect.dart";
+library regress_25389;
 
-class A<T> {}
-
-class C<T> {
-  a() {
-    return () => new A<T>();
-  }
-}
+part 'regress_25389_part.dart';
 
 main() {
-  Expect.isTrue(new C<int>().a()() is A<int>);
-  Expect.isFalse(new C<int>().a()() is A<String>);
+  new IssueListEditorState();
 }
+
+abstract class AbstractListEditor<D, S extends AbstractListEditorState<D, S>> {}
+