// 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<T> {
  get t => T;
}

class Derived<T> extends Base<Derived<Derived<T>>> {}

class Derived1<T> extends Base<Derived2<T>> {}

class Derived2<T> extends Base<Derived1<Derived2<T>>> {}

main() {
  var d = new Derived();
  Expect.equals("Derived<Derived>", d.t.toString());
  d = new Derived<bool>();
  Expect.equals("Derived<Derived<bool>>", d.t.toString());
  d = new Derived<Derived>();
  Expect.equals("Derived<Derived<Derived>>", d.t.toString());
  d = new Derived1();
  Expect.equals("Derived2", d.t.toString());
  d = new Derived2();
  Expect.equals("Derived1<Derived2>", d.t.toString());
  d = new Derived2<Derived1<int>>();
  Expect.equals("Derived1<Derived2<Derived1<int>>>", d.t.toString());
}