| 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 Base extends core::Object { | 5 class Base extends core::Object { | 
| 6   constructor •() → void | 6   default constructor •() → void | 
| 7     ; | 7     ; | 
| 8 } | 8 } | 
| 9 class Mixin extends core::Object { | 9 class Mixin extends core::Object { | 
| 10   constructor •() → void | 10   default constructor •() → void | 
| 11     ; | 11     ; | 
| 12   method foo() → dynamic | 12   method foo() → dynamic | 
| 13     ; | 13     ; | 
| 14 } | 14 } | 
| 15 abstract class Base&Mixin = self::Base with self::Mixin { | 15 abstract class Base&Mixin = self::Base with self::Mixin { | 
| 16 } | 16 } | 
| 17 class Sub extends self::Base&Mixin { | 17 class Sub extends self::Base&Mixin { | 
| 18   constructor •() → void | 18   default constructor •() → void | 
| 19     ; | 19     ; | 
| 20 } | 20 } | 
| 21 static method main() → dynamic | 21 static method main() → dynamic | 
| 22   ; | 22   ; | 
| OLD | NEW | 
|---|