LanguageFeatures/Super-mixins/super_invocation_t19.dart

// Copyright (c) 2018, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/**
 * @assertion In a mixin declaration like mixin A<X extends S, Y extends T>
 * on B, C implements D, E { body } the on clause declares the interfaces B and
 * C as super-class constraints of the mixin. Having a super-class constraint
 * allows the mixin declaration instance members to perform super-invocations
 * (like super.foo()) if they are allowed by a class implementing both B and C.
 *
 * @description Checks that a mixin declaration can perform super-invocations.
 * Test operators and "mixin" implementation of "on" clause interfaces
 * @issue 35090
 * @issue 42285
 * @author sgrekhov@unipro.ru
 */
import "../../Utils/expect.dart";

String console = "";

class A {
  String? get g => "g";
}

class C implements A {
  noSuchMethod(Invocation i) {
    console = "C";
  }
}

mixin M on A {
  test() {
    super.g;
  }

  noSuchMethod(Invocation i) {
    console = "M";
  }
}

class MA extends C with M {
}

main() {
  new MA().g;
  Expect.equals("M", console);
  new MA().test();
  Expect.equals("M", console);
}