| Index: tests/language/cyclic_typedef_test.dart
|
| diff --git a/tests/language/cyclic_typedef_test.dart b/tests/language/cyclic_typedef_test.dart
|
| index 61d8d0b8704d7d8cb05acf499ec6eed15f8ac7ed..c660527612e59c82a7a6be058ab9b2639d78f624 100644
|
| --- a/tests/language/cyclic_typedef_test.dart
|
| +++ b/tests/language/cyclic_typedef_test.dart
|
| @@ -13,6 +13,12 @@ A /// 01: compile-time error
|
|
|
| A // The name of the typedef
|
|
|
| +// Cyclic through type variable bound.
|
| +<T extends A> /// 10: compile-time error
|
| +
|
| +// Cyclic through generic type variable bound.
|
| +<T extends List<A>> /// 11: compile-time error
|
| +
|
| ( // The left parenthesis of the typedef arguments.
|
|
|
| // Cyclic through parameter type.
|
| @@ -39,11 +45,23 @@ B b /// 08: compile-time error
|
| // Cyclic through another more typedefs.
|
| C c /// 09: compile-time error
|
|
|
| +// Reference through a class is not a cyclic self-reference.
|
| +Class c /// 12: ok
|
| +
|
| +// Reference through a class type bound is not a cyclic self-reference.
|
| +Class c /// 13: ok
|
| +
|
| ); // The right parenthesis of the typedef arguments.
|
|
|
| typedef B(A a);
|
| typedef C(B b);
|
|
|
| +class Class
|
| +<T extends A> /// 13: continued
|
| +{
|
| + A a; /// 12: continued
|
| +}
|
| +
|
| void testA(A a) {}
|
|
|
| void main() {
|
|
|