| library; |
| import self as self; |
| import "dart:core" as core; |
| import "package:expect/expect.dart" as exp; |
| |
| import "package:expect/expect.dart"; |
| |
| abstract class A<T extends core::Object? = dynamic> extends core::Object { |
| constructor empty() → self::A<self::A::T%> |
| : super core::Object::•() |
| ; |
| static factory •<T extends core::Object? = dynamic>() → self::A<self::A::•::T%> /* redirection-target: self::B::•<self::A::•::T%, core::List<self::A::•::T%>>*/ |
| return self::B::•<self::A::•::T%, core::List<self::A::•::T%>>(); |
| } |
| abstract class B<U extends core::Object? = dynamic, W extends core::Object? = dynamic> extends self::A<self::B::U%> { |
| constructor empty() → self::B<self::B::U%, self::B::W%> |
| : super self::A::empty() |
| ; |
| static factory •<U extends core::Object? = dynamic, W extends core::Object? = dynamic>() → self::B<self::B::•::U%, self::B::•::W%> /* redirection-target: self::C::•<self::B::•::U%, self::B::•::W%, core::Map<self::B::•::U%, self::B::•::W%>>*/ |
| return new self::C::•<self::B::•::U%, self::B::•::W%, core::Map<self::B::•::U%, self::B::•::W%>>(); |
| } |
| class C<V extends core::Object? = dynamic, S extends core::Object? = dynamic, R extends core::Object? = dynamic> extends self::B<self::C::V%, self::C::S%> { |
| constructor •() → self::C<self::C::V%, self::C::S%, self::C::R%> |
| : super self::B::empty() |
| ; |
| method toString() → core::String |
| return "${self::C::V%},${self::C::S%},${self::C::R%}"; |
| } |
| static method main() → dynamic { |
| exp::Expect::equals("${new self::C::•<core::int, core::List<core::int>, core::Map<core::int, core::List<core::int>>>()}", "int,List<int>,Map<int, List<int>>"); |
| } |