Base-level test for equality of f-bounded types.

tests/language/f_bounded_equality_test.dart

Index: tests/language/f_bounded_equality_test.dart
diff --git a/tests/language/f_bounded_equality_test.dart b/tests/language/f_bounded_equality_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..1e979e5bc450ab1aa77e2f27e72c99788911dfd7
--- /dev/null
+++ b/tests/language/f_bounded_equality_test.dart
@@ -0,0 +1,27 @@
+// 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);
+}