| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/instantiate_to_bound/non_simple_co_inductive.dart:8:7: Error: Generic type 'A' can't be used without type arguments in the bounds of its own type variables. |
| // Try providing type arguments to 'A' here. |
| // class A<TypeX extends A> {} |
| // ^ |
| // |
| // pkg/front_end/testcases/instantiate_to_bound/non_simple_co_inductive.dart:10:9: Error: The typedef 'C' has a reference to itself. |
| // typedef C<TypeX extends C> = int; |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| typedef C<unrelated TypeX extends invalid-type> = invalid-type; |
| class A<TypeX extends core::Object? = dynamic> extends core::Object { |
| synthetic constructor •() → self::A<self::A::TypeX%> |
| : super core::Object::•() |
| ; |
| } |
| static method main() → dynamic {} |