| OLD | NEW |
| 1 library; | 1 library; |
| 2 import self as self; | 2 import self as self; |
| 3 import "dart:core" as core; | 3 import "dart:core" as core; |
| 4 | 4 |
| 5 abstract class Object&M1 extends core::Object implements self::M1 { |
| 6 constructor •() → void |
| 7 : super core::Object::•() |
| 8 ; |
| 9 method m() → dynamic |
| 10 return core::print("M1"); |
| 11 } |
| 12 abstract class Object&M1&M2 extends self::Object&M1 implements self::M2 { |
| 13 constructor •() → void |
| 14 : super self::Object&M1::•() |
| 15 ; |
| 16 method m() → dynamic |
| 17 return core::print("M2"); |
| 18 } |
| 5 class B extends self::Object&M1&M2 { | 19 class B extends self::Object&M1&M2 { |
| 6 constructor •(dynamic value) → void | 20 constructor •(dynamic value) → void |
| 7 : super self::Object&M1&M2::•() | 21 : super self::Object&M1&M2::•() |
| 8 ; | 22 ; |
| 9 } | 23 } |
| 10 abstract class M1 extends core::Object { | 24 abstract class M1 extends core::Object { |
| 11 constructor •() → void | 25 constructor •() → void |
| 12 : super core::Object::•() | 26 : super core::Object::•() |
| 13 ; | 27 ; |
| 14 method m() → dynamic | 28 method m() → dynamic |
| (...skipping 11 matching lines...) Expand all Loading... |
| 26 : super self::Object&M1&M2::•() | 40 : super self::Object&M1&M2::•() |
| 27 ; | 41 ; |
| 28 } | 42 } |
| 29 abstract class G1<T extends core::Object> extends core::Object { | 43 abstract class G1<T extends core::Object> extends core::Object { |
| 30 constructor •() → void | 44 constructor •() → void |
| 31 : super core::Object::•() | 45 : super core::Object::•() |
| 32 ; | 46 ; |
| 33 method m() → dynamic | 47 method m() → dynamic |
| 34 return core::print(self::G1::T); | 48 return core::print(self::G1::T); |
| 35 } | 49 } |
| 36 class D<S extends core::Object> extends self::D^G1<self::D::S> { | 50 abstract class Object&G1^^#T0<#T0 extends core::Object> extends core::Object imp
lements self::G1<self::Object&G1^^#T0::#T0> { |
| 37 constructor •() → void | |
| 38 : super self::D^G1::•() | |
| 39 ; | |
| 40 } | |
| 41 abstract class Object&M1 extends core::Object implements self::M1 { | |
| 42 constructor •() → void | 51 constructor •() → void |
| 43 : super core::Object::•() | 52 : super core::Object::•() |
| 44 ; | 53 ; |
| 45 method m() → dynamic | 54 method m() → dynamic |
| 46 return core::print("M1"); | 55 return core::print(self::Object&G1^^#T0::#T0); |
| 47 } | 56 } |
| 48 abstract class Object&M1&M2 extends self::Object&M1 implements self::M2 { | 57 class D<S extends core::Object> extends self::Object&G1^^#T0<self::D::S> { |
| 49 constructor •() → void | 58 constructor •() → void |
| 50 : super self::Object&M1::•() | 59 : super self::Object&G1^^#T0::•() |
| 51 ; | 60 ; |
| 52 method m() → dynamic | |
| 53 return core::print("M2"); | |
| 54 } | |
| 55 abstract class D^G1<S extends core::Object> extends core::Object implements self
::G1<self::D^G1::S> { | |
| 56 constructor •() → void | |
| 57 : super core::Object::•() | |
| 58 ; | |
| 59 method m() → dynamic | |
| 60 return core::print(self::D^G1::S); | |
| 61 } | 61 } |
| 62 static method main() → dynamic { | 62 static method main() → dynamic { |
| 63 new self::B::•(null).m(); | 63 new self::B::•(null).m(); |
| 64 new self::C::•(null).m(); | 64 new self::C::•(null).m(); |
| 65 new self::D::•<dynamic>().m(); | 65 new self::D::•<dynamic>().m(); |
| 66 new self::D::•<core::int>().m(); | 66 new self::D::•<core::int>().m(); |
| 67 new self::D::•<core::List<core::int>>().m(); | 67 new self::D::•<core::List<core::int>>().m(); |
| 68 } | 68 } |
| OLD | NEW |