blob: 1e979e5bc450ab1aa77e2f27e72c99788911dfd7 [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.
import "package:expect/expect.dart";
class Magnitude<T> {
get t => T;
class Real extends Magnitude<Real> {}
class FBound<F extends FBound<F>> {
get f => F;
class Bar extends FBound<Bar> {}
main() {
var r = new Real();
Expect.equals(r.runtimeType, Real);
Expect.equals(r.t, Real);
Expect.equals(r.runtimeType, r.t);
var b = new Bar();
Expect.equals(b.runtimeType, Bar);
Expect.equals(b.f, Bar);
Expect.equals(b.runtimeType, b.f);