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

class A<T> {
  A() : x = null;

  const A.constant(this.x);

  factory A.factory() {
    return new B<Set>();
  }

  factory A.test01() = T;  /// 01: runtime error

  factory A.test02() = dynamic;  /// 02: runtime error

  factory A.test03() = Undefined;  /// 03: runtime error

  factory A.test04() = C.test04;  /// 04: compile-time error

  final T x;
}

class B<T> extends A<T> {
  B();

  factory B.A() = A<T>;

  const factory B.A_constant(T x) = A<T>.constant;

  factory B.A_factory() = A<T>.factory;

  factory B.test04() = A.test04;  /// 04: continued

  factory B.test05(int incompatible) = A<T>.factory;  /// 05: runtime error
}

class C<K, V> extends B<V> {
  C();

  factory C.A() = A<V>;

  factory C.A_factory() = A<V>.factory;

  const factory C.B_constant(V x) = B<V>.A_constant;

  factory C.test04() = B.test04;  /// 04: continued

  factory C.test06(int incompatible) = B<K>.test05;  /// 06: runtime error

  const factory C.test07(V x) = B<V>.A;  /// 07: compile-time error
}

main() {
  new A<List>.test01();  /// 01: continued
  new A<List>.test02();  /// 02: continued
  new A<List>.test03();  /// 03: continued
  new C.test04();  /// 04: continued
  new B.test05(0);  /// 05: continued
  new C.test06<int, int>(0);  /// 06: continued
  new C.test07<int, int>(0);  /// 07: continued
  Expect.isTrue(new A<List>() is A<List>);
  Expect.isTrue(new A<bool>.constant(true).x);
  Expect.isTrue(new A<Set>.factory() is B<Set>);
  Expect.isTrue(new B<List>.A() is A<List>);  /// 08: dynamic type error
  Expect.isFalse(new B<List>.A() is A<Set>);  /// 09: dynamic type error
  Expect.isTrue(new B<bool>.A_constant(true).x);  /// 10: dynamic type error
  Expect.isTrue(new B<List>.A_factory() is B<Set>);  /// 11: dynamic type error
  Expect.isTrue(new C<String, num>.A() is A<num>);  /// 12: dynamic type error
  Expect.isTrue(new C<String, num>.A_factory() is B<Set>);  /// 13: dynamic type error
  Expect.isTrue(new C<String, bool>.B_constant(true).x);  /// 14: dynamic type error
}