| 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 import "./mixin_library.dart" as mix; | 4 import "./mixin_library.dart" as mix; |
| 5 | 5 |
| 6 class Super<S extends core::Object> extends core::Object { | 6 class Super<S extends core::Object> extends core::Object { |
| 7 constructor •() → void | 7 default constructor •() → void |
| 8 : super core::Object::•() | 8 : super core::Object::•() |
| 9 ; | 9 ; |
| 10 method foo() → dynamic | 10 method foo() → dynamic |
| 11 return 40; | 11 return 40; |
| 12 method f() → dynamic | 12 method f() → dynamic |
| 13 return 3; | 13 return 3; |
| 14 } | 14 } |
| 15 abstract class Super&Mixin^#T0^#T0<#T0 extends core::Object> = self::Super<self:
:Super&Mixin^#T0^#T0::#T0> with mix::Mixin<self::Super&Mixin^#T0^#T0::#T0> { | 15 abstract class Super&Mixin^#T0^#T0<#T0 extends core::Object> = self::Super<self:
:Super&Mixin^#T0^#T0::#T0> with mix::Mixin<self::Super&Mixin^#T0^#T0::#T0> { |
| 16 } | 16 } |
| 17 class C<V extends core::Object> extends self::Super&Mixin^#T0^#T0<self::C::V> { | 17 class C<V extends core::Object> extends self::Super&Mixin^#T0^#T0<self::C::V> { |
| 18 constructor •() → void | 18 default constructor •() → void |
| 19 : super self::Super::•() | 19 : super self::Super::•() |
| 20 ; | 20 ; |
| 21 } | 21 } |
| 22 abstract class Super&Mixin = self::Super<dynamic> with mix::Mixin<dynamic> { | 22 abstract class Super&Mixin = self::Super<dynamic> with mix::Mixin<dynamic> { |
| 23 } | 23 } |
| 24 class D extends self::Super&Mixin { | 24 class D extends self::Super&Mixin { |
| 25 constructor •() → void | 25 default constructor •() → void |
| 26 : super self::Super::•() | 26 : super self::Super::•() |
| 27 ; | 27 ; |
| 28 } | 28 } |
| 29 class C2<V extends core::Object> = self::Super<self::C2::V> with mix::Mixin<self
::C2::V> { | 29 class C2<V extends core::Object> = self::Super<self::C2::V> with mix::Mixin<self
::C2::V> { |
| 30 constructor •() → void | 30 constructor •() → void |
| 31 : super self::Super::•() | 31 : super self::Super::•() |
| 32 ; | 32 ; |
| 33 } | 33 } |
| 34 class D2 = self::Super<dynamic> with mix::Mixin<dynamic> { | 34 class D2 = self::Super<dynamic> with mix::Mixin<dynamic> { |
| 35 constructor •() → void | 35 constructor •() → void |
| 36 : super self::Super::•() | 36 : super self::Super::•() |
| 37 ; | 37 ; |
| 38 } | 38 } |
| 39 static method main() → dynamic { | 39 static method main() → dynamic { |
| 40 core::print(new self::C::•<dynamic>().{mix::Mixin::foo}()); | 40 core::print(new self::C::•<dynamic>().{mix::Mixin::foo}()); |
| 41 core::print(new self::C2::•<dynamic>().{mix::Mixin::foo}()); | 41 core::print(new self::C2::•<dynamic>().{mix::Mixin::foo}()); |
| 42 } | 42 } |
| OLD | NEW |