| 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{ForNonNullableByDefault} lib::Y ?{dart.core::int?} x{lib::Y}.{lib::Y::foo}{dart.core::int} : null; |
| } |
| } |