Support correct factory syntax in the VM as decribed in the spec.

tests/language/src/FBoundedQuantificationTest.dart

Index: tests/language/src/FBoundedQuantificationTest.dart
===================================================================
--- tests/language/src/FBoundedQuantificationTest.dart	(revision 0)
+++ tests/language/src/FBoundedQuantificationTest.dart	(revision 0)
@@ -0,0 +1,16 @@
+// Copyright (c) 2011, 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.
+
+// Test for F-Bounded Quantification.

[srdjan, 2011/11/16 23:02:26]

Is this file related to factory change?

[regis, 2011/11/16 23:38:08]

No, but this test was mixed with upper bounds tests in
tests/language/src/TypeVariableBoundsTest.dart.
It is better to make it a separate test.

+
+class FBound<F extends FBound<F>> {}
+
+class Bar extends FBound<Bar> {}
+
+class SubBar extends Bar {}
+
+main() {
+  FBound<Bar> fb = new FBound<Bar>();
+  FBound<SubBar> fsb = new FBound<SubBar>();  /// 01: static type error
+}