Update test of type variable bounds to match specification

dart/tests/language/src/TypeVariableBoundsTest.dart

Index: dart/tests/language/src/TypeVariableBoundsTest.dart
diff --git a/dart/tests/language/src/TypeVariableBoundsTest.dart b/dart/tests/language/src/TypeVariableBoundsTest.dart
index 7d526692d95eadef7de0f68df533975935c9f5bc..48eca37d0f1d466c1b7572b707a84063414c7775 100644
--- a/dart/tests/language/src/TypeVariableBoundsTest.dart
+++ b/dart/tests/language/src/TypeVariableBoundsTest.dart
@@ -15,18 +15,22 @@ class Foo<T extends num> {
   factory IFoo() { return null; }
 }
 
-interface IFoo<T extends num> factory Foo<T extends num> {
+interface IFoo<T extends num> default Foo<T extends num> {

[zundel, 2011/12/15 14:01:17]

FYI, frog and dartc have not committed changes to respect the default keyword
yet.

[ahe, 2011/12/15 14:04:48]

It looked like things were getting close, but I'll make sure to not cause
unintended failures.

 }
 
 // String is not assignable to num.
-class Baz extends Foo<String> {} /// 01: compile-time error
+class Baz
+    extends Foo<String> /// 01: static type error
+{}
 
 class Biz extends Foo<int> {}
 
 Foo<int> fi;
 
 // String is not assignable to num.
-Foo<String> fs; /// 02: compile-time error
+Foo
+    <String> /// 02: static type error
+  fs;
 
 class Box<T> {
 
@@ -39,16 +43,32 @@ class Box<T> {
   }
 }
 
-class TypeVariableBoundsTest {
-  static testMain() {
-    // String is not assignable to num.
-    var v1 = new Foo<String>(); /// 05: compile-time error
+main() {
+  // String is not assignable to num.
+  var v1 = new Foo<String>(); /// 05: static type error
 
-    // String is not assignable to num.
-    Foo<String> v2 = null; /// 06: compile-time error
-  }
-}
+  // String is not assignable to num.
+  Foo<String> v2 = null; /// 06: static type error
 
-main() {
-  TypeVariableBoundsTest.testMain();
+  new Baz();
+  new Biz();
+
+  fi = new Foo();
+  fs = new Foo();
+
+  new Box.makeFoo();

[zundel, 2011/12/15 14:01:17]

this does not resolve to a constructor when I patch it in.  missing 'factory'
keyword in front of makeFoo() declaration in box?

[ahe, 2011/12/15 14:04:48]

Thank you. It should be:

new Box().makeFoo();

[ahe, 2011/12/15 15:55:57]

Done.

+  new Box<int>.makeFoo();
+  new Box<String>.makeFoo();
+
+  // Fisk does not exist.
+  new Box<Fisk>(); /// 07: compile-time error
+
+  // Too many type arguments.
+  new Box<Object, Object>(); /// 08: compile-time error
+
+  // Fisk does not exist.
+  Box<Fisk> box = null; /// 09: static type error
+
+  // Too many type arguments.
+  Box<Object, Object> box = null; /// 10: static type error
 }