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

tests/language/src/TypeVariableBounds2Test.dart

 // Copyright (c) 2012, 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 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> {
 }
 
 main() {
   var a = new A<String>();
 
   {
     I i = a;  /// 00: dynamic type error, static type warning
     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.

     Expect.isTrue(a is J);  /// 04: static type warning
 
     // In both production and checked modes, A<String> is not a subtype of K.
     // However, while unsuccessfully trying to prove that A<String> is a K,
     // a malformed type is encountered in checked mode, resulting in a dynamic
     // type error.
     Expect.isTrue(a is !K);  /// 05: dynamic type error
   }
 
   a = new A<int>();
 
   {
     I i = a;
     J j = a;
     K k = a;  /// 06: dynamic type error, static type warning
 
     // In both production and checked modes, A<int> is a subtype of I.
     Expect.isTrue(a is I);
 
     // In both production and checked modes, A<int> is a subtype of J.
     Expect.isTrue(a is J);
 
     // In both production and checked modes, A<int> is not a subtype of K.
     Expect.isTrue(a is !K);
   }
 }
+

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

Extra line.