| 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 class A extends core::Object { | 5 class A extends core::Object { |
| 6 field core::bool v1; | 6 field core::bool v1; |
| 7 field core::num v2; | 7 field core::num v2; |
| 8 constructor •(core::bool v1, core::num v2) → void | 8 constructor •(core::bool v1, core::num v2) → void |
| 9 ; | 9 ; |
| 10 } | 10 } |
| 11 class M1 extends core::Object { | 11 class M1 extends core::Object { |
| 12 field core::num v2; | 12 field core::num v2; |
| 13 constructor •() → void | 13 constructor •() → void |
| 14 ; | 14 ; |
| 15 } | 15 } |
| 16 class C extends self::A&M1 { | 16 class C = self::A with self::M1 { |
| 17 constructor •(core::bool v1, core::num v2) → void | 17 constructor •(core::bool v1, core::num v2) → void |
| 18 : super self::A::•(v1, v2) | 18 : super self::A::•(v1, v2) |
| 19 ; | 19 ; |
| 20 } | 20 } |
| 21 abstract class A&M1 = self::A with self::M1 { | |
| 22 } | |
| 23 static method main() → dynamic | 21 static method main() → dynamic |
| 24 ; | 22 ; |
| OLD | NEW |