blob: d73aba1b5583834af122340002ab071f2354ab58 [file] [log] [blame]
* 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 if they are allowed by a class implementing both B and C.
* @description Checks that a mixin declaration can perform super-invocations.
* Test getters and "implements" implementation of "on" clause interfaces
* @author
import "../../Utils/expect.dart";
abstract class A {
String get a;
abstract class B {
String get b;
class C implements A, B {
String get a => "C.a";
String get b => "C.b";
mixin M on A, B {
String get a => "M.a";
String get b => "M.b";
testM() {
Expect.equals("C.a", super.a);
Expect.equals("C.b", super.b);
class MA extends C with M {
String get a => "MA.a";
String get b => "MA.b";
testMA() {
Expect.equals("M.a", super.a);
Expect.equals("M.b", super.b);
main() {
MA ma = new MA();
Expect.equals("MA.a", ma.a);
Expect.equals("MA.b", ma.b);