// Copyright (c) 2013, 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 "dart:mirrors";
import "package:expect/expect.dart";

class A {
  A();
  A.circular() = B.circular; // //# 01: compile-time error
  const A.circular2() = B.circular2; // //# 02: compile-time error
}

class B {
  B();
  B.circular() = C.circular; // //# 01: continued
  const B.circular2() = C.circular2; // //# 02: continued
}

class C {
  C();
  C.circular() = A.circular; // //# 01: continued
  const C.circular2() = A.circular2; // //# 02: continued
}

main() {
  ClassMirror cm = reflectClass(A);

  new A.circular(); // //# 01: continued
  new A.circular2(); // //# 02: continued

  Expect.throwsNoSuchMethodError(
      () => cm.newInstance(#circular, []),
      'Should disallow circular redirection (non-const)');

  Expect.throwsNoSuchMethodError(
      () => cm.newInstance(#circular2, []),
      'Should disallow circular redirection (const)');
}