blob: c90cf23b09a0af854ed232e555f04d67d9738be3 [file] [log] [blame]
// 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, Derived2>", d.u.toString());
"Derived1<Derived2<Derived2, Derived1>, Derived2>", 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>>);