| main = <No Member>; |
| library from "org-dartlang-test:///lib.dart" as lib { |
| |
| import "org-dartlang-test:///main.dart"; |
| |
| class Y extends dart.core::Object implements main::X { |
| synthetic constructor •() → lib::Y* |
| : super dart.core::Object::•() |
| ; |
| get foo() → dart.core::int* |
| return 42; |
| } |
| } |
| library from "org-dartlang-test:///main.dart" as main { |
| |
| import "org-dartlang-test:///lib.dart"; |
| |
| class X extends dart.core::Object { |
| synthetic constructor •() → main::X* |
| : super dart.core::Object::•() |
| ; |
| } |
| static method foo(main::X* x) → dart.core::int* { |
| return x is lib::Y* ?{dart.core::int*} x{lib::Y*}.{lib::Y::foo} : null; |
| } |
| } |