Base test case of a multi-test now insists no static type warnings

tests/language/src/TypeVariableBounds2Test.dart

Index: tests/language/src/TypeVariableBounds2Test.dart
diff --git a/tests/language/src/TypeVariableBounds2Test.dart b/tests/language/src/TypeVariableBounds2Test.dart
index 1d901608cb609581574d23a327bfc91c8c949390..9c6525bfb168ae73f6c4f0566f3d336779101b9c 100644
--- a/tests/language/src/TypeVariableBounds2Test.dart
+++ b/tests/language/src/TypeVariableBounds2Test.dart
@@ -4,12 +4,20 @@
 
 // Test of parameterized types with invalid bounds.
 
-interface I<T extends num> { }
-
 interface J<T> { }
 
 interface K<T> { }
 
+interface I<T 
+  extends num /// 00: continued

[zundel, 2012/03/12 14:54:39]

This test required a bit of hacking.  The multiple 'continued' lines are to get
the static type warning out of the 'none' case.    Also, the 'continued' line
was expected to occur after the first annotation, so I had to change the logic
in multitest.dart to accommodate putting the 'continued' annotation first.  

+  extends num /// 01: continued
+  extends num /// 02: continued
+  extends num /// 03: continued
+  extends num /// 04: continued
+  extends num /// 05: continued
+  extends num /// 06: continued
+> { }
+
 class A<T> implements I<T>, J<T> {
 }
 
@@ -21,7 +29,7 @@ main() {
     J j = a;  /// 01: static type warning
     K k = a;  /// 02: dynamic type error, static type warning
 
-    // In production mode, A<String> is subtype of I, but error in checked mode.
+    // In production mode, A<String> is subtype of I, error in checked mode.
     var x = a is I;  /// 03: dynamic type error, static type warning
 
     // In both production and checked modes, A<String> is a subtype of I.

[Bill Hesse, 2012/03/12 16:02:49]

subtype of J, not I.

@@ -51,3 +59,4 @@ main() {
     Expect.isTrue(a is !K);
   }
 }
+

[Bill Hesse, 2012/03/12 16:02:49]

Extra line.