| library /*isNonNullableByDefault*/; |
| import self as self; |
| import "dart:core" as core; |
| import "package:expect/expect.dart" as exp; |
| |
| import "package:expect/expect.dart"; |
| |
| class C extends core::Object { |
| synthetic constructor •() → self::C |
| : super core::Object::•() |
| ; |
| get one() → core::int |
| return 1; |
| } |
| extension E on self::C { |
| get two = self::E|get#two; |
| } |
| static method E|get#two(lowered final self::C #this) → core::int |
| return 2; |
| static method main() → dynamic { |
| self::C c = new self::C::•(); |
| core::int result = c.{self::C::one}{core::int}.{core::num::+}(self::E|get#two(c)){(core::num) → core::int}; |
| exp::Expect::equals(result, 3); |
| } |