| 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 constructor •() → void | 6 constructor •() → void |
| 7 ; | 7 ; |
| 8 } | 8 } |
| 9 class B extends core::Object { | 9 class B extends core::Object { |
| 10 constructor •() → void | 10 constructor •() → void |
| 11 ; | 11 ; |
| 12 } | 12 } |
| 13 class C extends self::Object&Missing { | 13 class C extends self::Object&Missing { |
| 14 constructor •() → void | 14 constructor •() → void |
| 15 : super core::Object::•() | 15 : super core::Object::•() |
| 16 ; | 16 ; |
| 17 } | 17 } |
| 18 class D extends core::Object { | 18 class D extends core::Object { |
| 19 static field dynamic _redirecting# = <dynamic>[self::D::•]; | 19 static field dynamic _redirecting# = <dynamic>[self::D::•]; |
| 20 static factory •() → dynamic | 20 static factory •() → dynamic |
| 21 throw "Redirection constructor target not found: Missing"; | 21 throw "Redirection constructor target not found: Missing"; |
| 22 } | 22 } |
| 23 abstract class Object&Missing extends core::Object { | 23 abstract class Object&Missing extends core::Object { |
| 24 constructor •() → void | 24 constructor •() → void |
| 25 ; | 25 ; |
| 26 } | 26 } |
| 27 static method main() → void | 27 static method main() → void |
| 28 ; | 28 ; |
| OLD | NEW |