| library; | |
| import self as self; | |
| import "dart:core" as core; | |
| class A extends core::Object { | |
| final field core::int x; | |
| constructor •(core::int y) → self::A | |
| : self::A::x = (() /* #ctx1 */ → core::int => y)(){() → core::int}, super core::Object::•()/* scope=[ | |
| #ctx2: not-captured [this], | |
| #ctx1: direct-captured [y], | |
| ] */ | |
| ; | |
| } | |
| class B extends self::A { | |
| constructor •(core::int z) → self::B | |
| : super self::A::•(z)/* scope=[ | |
| #ctx3: not-captured [this,z], | |
| ] */ { | |
| z = 0; | |
| } | |
| } |