tests/language/unsorted/cyclic_type2_test.dart

// 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,
  );
  Expect.equals(
    Derived1<
      Derived2<Derived2<dynamic, dynamic>, Derived1<dynamic, dynamic>>,
      Derived2<dynamic, dynamic>
    >,
    d.v,
  );
  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>
        >,
  );
}