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