// 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.

// Tests self referencing types.

import "package:expect/expect.dart";

class Base<U, V> {
  get u => U;
  get v => V;
}

class Derived1<U, V>
    extends Base<Derived1<U, V>, Derived1<Derived2<V, U>, Derived2>> {}

class Derived2<U, V>
    extends Base<Derived2<U, V>, Derived2<Derived1<V, U>, Derived1>> {}

main() {
  var d = new Derived1<Derived1, Derived2>();
  Expect.equals(
      "Derived1<Derived1<dynamic, dynamic>, Derived2<dynamic, dynamic>>",
      d.u.toString());
  Expect.equals(
      "Derived1<Derived2<Derived2<dynamic, dynamic>, "
      "Derived1<dynamic, dynamic>>, Derived2<dynamic, dynamic>>",
      d.v.toString());
  Expect.isTrue(d is Derived1<Derived1, Derived2>);
  Expect.isFalse(d is Derived1<Derived1, Derived1>);
  Expect.isTrue(d is Base<Derived1<Derived1, Derived2>,
      Derived1<Derived2<Derived2, Derived1>, Derived2>>);
  Expect.isFalse(d is Base<Derived1<Derived1, Derived2>,
      Derived1<Derived2<Derived2, Derived2>, Derived2>>);
}