blob: 8b40cb7af2632e13f76a0699bb1d95839df13b3f [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.
// @dart = 2.9
import "package:expect/expect.dart";
abstract class Mixin {
int get x;
int get m => x;
class Base {
final int x;
Base.c2({this.x = 37});
Base.c3(int x) : this.c1(x);
Base.c4({int x = 37}) : this.c1(x);
Base.c5(int x) : this.c2(x: x);
Base.c6({int x = 37}) : this.c2(x: x);
factory Base() = Base.c2;
class Application = Base with Mixin;
main() {
Expect.equals(42, new Application.c1(42).m);
Expect.equals(42, new Application.c2(x: 42).m);
Expect.equals(42, new Application.c3(42).m);
Expect.equals(42, new Application.c4(x: 42).m);
Expect.equals(42, new Application.c5(42).m);
Expect.equals(42, new Application.c6(x: 42).m);
Expect.equals(37, new Application.c2().m);
Expect.equals(37, new Application.c4().m);
Expect.equals(37, new Application.c6().m);
// Only insert forwarders for generative constructors.
new Application(); //# 01: compile-time error