| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| class A<TypeT extends core::Object = dynamic, TypeS extends self::A::TypeT = dynamic> extends core::Object { |
| synthetic constructor •() → void |
| : super core::Object::•() |
| ; |
| } |
| class B<TypeU extends self::A<dynamic, dynamic> = dynamic> extends core::Object { |
| synthetic constructor •() → void |
| : super core::Object::•() |
| ; |
| } |
| class C<TypeV extends self::B<dynamic> = self::B<dynamic>> extends core::Object { |
| synthetic constructor •() → void |
| : super core::Object::•() |
| ; |
| } |
| static field self::C<self::B<dynamic>> c; |
| static const field dynamic #errors = const <dynamic>["pkg/front_end/testcases/instantiate_to_bound/non_simple_bound_due_to_non_simple.dart:12:9: Error: Generic type 'A' can't be used without type arguments in a type variable bound. |
| Try providing type arguments to 'A' here. |
| class B<TypeU extends A> {} |
| ^^^^^"]/* from null */; |
| static method main() → dynamic {} |