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

class Super extends core::Object {
  synthetic constructor •() → self::Super
    ;
  method extendedConcreteMixedInAbstractMethod() → void
    ;
  method extendedConcreteMixedInConcreteMethod() → void
    ;
  method extendedConcreteMixedInAbstractImplementedMethod(core::int i) → void
    ;
  method extendedConcreteMixedInConcreteImplementedMethod(core::int i) → void
    ;
}
class Interface extends core::Object {
  synthetic constructor •() → self::Interface
    ;
  method extendedConcreteMixedInAbstractImplementedMethod(covariant core::num i) → void
    ;
  method extendedConcreteMixedInConcreteImplementedMethod(covariant core::num i) → void
    ;
}
abstract class Mixin extends core::Object /*isMixinDeclaration*/  {
  abstract method extendedConcreteMixedInAbstractMethod() → void;
  method extendedConcreteMixedInConcreteMethod() → void
    ;
  abstract method extendedConcreteMixedInAbstractImplementedMethod(core::int i) → void;
  method extendedConcreteMixedInConcreteImplementedMethod(core::int i) → void
    ;
}
class Class = self::Super with self::Mixin implements self::Interface {
  synthetic constructor •() → self::Class
    : super self::Super::•()
    ;
  abstract mixin-stub method extendedConcreteMixedInAbstractMethod() → void; -> self::Mixin::extendedConcreteMixedInAbstractMethod
  mixin-super-stub method extendedConcreteMixedInConcreteMethod() → void
    return super.{self::Mixin::extendedConcreteMixedInConcreteMethod}();
  forwarding-stub method extendedConcreteMixedInAbstractImplementedMethod(covariant core::int i) → void
    return super.{self::Super::extendedConcreteMixedInAbstractImplementedMethod}(i);
  forwarding-stub method extendedConcreteMixedInConcreteImplementedMethod(covariant core::int i) → void
    return super.{self::Mixin::extendedConcreteMixedInConcreteImplementedMethod}(i);
}
class Sub extends self::Class {
  synthetic constructor •() → self::Sub
    ;
  method test() → void
    ;
}
static method main() → dynamic
  ;