library test /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

class C<T extends core::num> extends core::Object {
  covariant-by-class field self::C::T a = throw "";
  synthetic constructor •() → self::C<self::C::T>
    : super core::Object::•()
    ;
  method op(core::double b) → void {
    core::double r1 = this.{self::C::a}{self::C::T}.{core::num::+}(b){(core::num) → core::double};
    core::double r2 = this.{self::C::a}{self::C::T}.{core::num::-}(b){(core::num) → core::double};
    core::double r3 = this.{self::C::a}{self::C::T}.{core::num::*}(b){(core::num) → core::double};
    core::double r4 = this.{self::C::a}{self::C::T}.{core::num::/}(b){(core::num) → core::double};
  }
}
static method main() → dynamic {}