// Copyright (c) 2014, 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.

// @dart = 2.9

// Verify that a named mixin constructor forwards to the corresponding named
// base class constructor.

import "package:expect/expect.dart";

abstract class Mixin1 {
  var mixin1Field = 1;
}

abstract class Mixin2 {
  var mixin2Field = 2;
}

class A {
  var superField;
  A(foo) : superField = 0;
  A.c1(foo) : superField = foo;
  A.c2(foo) : superField = 0;
}

class B extends A with Mixin1, Mixin2 {
  var field = 4;
  B(unused) : super.c1(3);
}

main() {
  var b = new B(null);
  Expect.equals(1, b.mixin1Field);
  Expect.equals(2, b.mixin2Field);
  Expect.equals(3, b.superField);
  Expect.equals(4, b.field);
}