Language/Classes/Constructors/Factories/redirecting_constructor_t04.dart

// Copyright (c) 2019, 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 A redirecting factory constructor specifies a call to a
/// constructor of another class that is to be used whenever the redirecting
/// constructor is called.
/// redirectingFactoryConstructorSignature:
///   const? factory identifier (‘.’ identifier)? formalParameterList
/// ‘=’ typeName (‘.’ identifier)?
/// ;
/// @description Checks that correct declarations of redirecting factory
/// constructors do not cause errors. Test type aliases
/// @author sgrekhov@unipro.ru
/// @issue 45051

// SharedOptions=--enable-experiment=nonfunction-type-aliases
import "../../../../Utils/expect.dart";

class A {
  A() {}
  factory A.foo() = CAlias.bar;
  int m() => 42;
}
typedef AAlias = A;

class C extends A {
  C() {}
  factory C.bar() = DAlias;
  int m() { return 1; }
}
typedef CAlias = C;

class D extends CAlias {
  int m() { return 2; }
}
typedef DAlias = D;

main() {
  A a = new A.foo();
  Expect.equals(2, a.m());
}