| library test; |
| import self as self; |
| import "dart:core" as core; |
| |
| class C<T extends core::num = core::num> extends core::Object { |
| generic-covariant-impl field self::C::T a = null; |
| synthetic constructor •() → void |
| : super core::Object::•() |
| ; |
| method op(core::double b) → void { |
| core::double r1 = this.{self::C::a}.{core::num::+}(b) as{TypeError} core::double; |
| core::double r2 = this.{self::C::a}.{core::num::-}(b) as{TypeError} core::double; |
| core::double r3 = this.{self::C::a}.{core::num::*}(b) as{TypeError} core::double; |
| core::double r4 = this.{self::C::a}.{core::num::/}(b); |
| } |
| } |
| static method main() → dynamic {} |