class Super {
  void extendedConcreteMethod() {}
  void extendedAbstractMethod();
  void extendedConcreteMixedInConcreteMethod() {}
  void extendedAbstractMixedInConcreteMethod();
  void extendedConcreteMixedInAbstractMethod() {}
  void extendedAbstractMixedInAbstractMethod();
}

class Mixin {
  void mixedInConcreteMethod(int i) {}
  void mixedInAbstractMethod(int i);
  void extendedConcreteMixedInConcreteMethod(int i) {}
  void extendedAbstractMixedInConcreteMethod(int i) {}
  void extendedConcreteMixedInAbstractMethod(int i);
  void extendedAbstractMixedInAbstractMethod(int i);
}

class ClassMixin extends Super with Mixin {}

class NamedMixin = Super with Mixin;
main() {}