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