| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| class A extends core::Object { |
| synthetic constructor •() → self::A |
| : super core::Object::•() |
| ; |
| method call(core::int value) → core::num |
| return 0; |
| } |
| class B extends self::A { |
| synthetic constructor •() → self::B |
| : super self::A::•() |
| ; |
| method call(core::num value) → core::int |
| return 0; |
| } |
| class C extends core::Object { |
| final field self::A _a; |
| constructor •(self::A _a) → self::C |
| : self::C::_a = _a, super core::Object::•() |
| ; |
| } |
| static method test(self::C c, core::num n) → void { |
| if(c.{self::C::_a}{self::A} is self::B) { |
| let final self::C #t1 = c in let final core::num #t2 = n in (#t1.{self::C::_a}{self::A} as{Unchecked} self::B).{self::B::call}(#t2){(core::num) → core::int}; |
| } |
| } |
| static method main() → dynamic {} |