Big merge from experimental to bleeding edge.

tests/language/type_vm_test.dart

 // 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.
 // VMOptions=--enable_type_checks --no_show_internal_names
 //
 // Dart test program testing type checks.
 
 class TypeTest {
   static test() {
     int result = 0;
@@ skipping 16 matching lines @@
     return result;
   }
 
   static testSideEffect() {
     int result = 0;
     int index() {
       result++;
       return 0;
     }
     try {
-      List<int> a = new List<int>(1);
+      List<int> a = new List<int>.fixedLength(1);
       a[0] = 0;
       a[index()]++;  // Type check succeeds, but does not create side effects.
       Expect.equals(1, a[0]);
     } on TypeError catch (error) {
       result = 100;
     }
     return result;
   }
 
   static testArgument() {
@@ skipping 322 matching lines @@
       Expect.equals("type_vm_test.dart", subs);
       Expect.equals(560, error.line);
       Expect.equals(12, error.column);
     }
     return result;
   }
 
   static int testListAssigment() {
     int result = 0;
     {
-      var a = new List(5);
+      var a = new List.fixedLength(5);
       List a0 = a;
       List<Object> ao = a;
       List<int> ai = a;
       List<num> an = a;
       List<String> as = a;
     }
     {
-      var a = new List<Object>(5);
+      var a = new List<Object>.fixedLength(5);
       List a0 = a;
       List<Object> ao = a;
       try {
         List<int> ai = a;
       } on TypeError catch (error) {
         result++;
         Expect.equals("List<int>", error.dstType);
         Expect.equals("List<Object>", error.srcType);
         Expect.equals("ai", error.dstName);
         int pos = error.url.lastIndexOf("/", error.url.length);
@@ skipping 32 matching lines @@
         if (pos == -1) {
           pos = error.url.lastIndexOf("\\", error.url.length);
         }
         String subs = error.url.substring(pos + 1, error.url.length);
         Expect.equals("type_vm_test.dart", subs);
         Expect.equals(424, error.line);
         Expect.equals(27, error.column);
       }
     }
     {
-      var a = new List<int>(5);
+      var a = new List<int>.fixedLength(5);
       List a0 = a;
       List<Object> ao = a;
       List<int> ai = a;
       List<num> an = a;
       try {
         List<String> as = a;
       } on TypeError catch (error) {
         result++;
         Expect.equals("List<String>", error.dstType);
         Expect.equals("List<int>", error.srcType);
         Expect.equals("as", error.dstName);
         int pos = error.url.lastIndexOf("/", error.url.length);
         if (pos == -1) {
           pos = error.url.lastIndexOf("\\", error.url.length);
         }
         String subs = error.url.substring(pos + 1, error.url.length);
         Expect.equals("type_vm_test.dart", subs);
         Expect.equals(447, error.line);
         Expect.equals(27, error.column);
       }
     }
     {
-      var a = new List<num>(5);
+      var a = new List<num>.fixedLength(5);
       List a0 = a;
       List<Object> ao = a;
       try {
         List<int> ai = a;
       } on TypeError catch (error) {
         result++;
         Expect.equals("List<int>", error.dstType);
         Expect.equals("List<num>", error.srcType);
         Expect.equals("ai", error.dstName);
         int pos = error.url.lastIndexOf("/", error.url.length);
@@ skipping 17 matching lines @@
         if (pos == -1) {
           pos = error.url.lastIndexOf("\\", error.url.length);
         }
         String subs = error.url.substring(pos + 1, error.url.length);
         Expect.equals("type_vm_test.dart", subs);
         Expect.equals(485, error.line);
         Expect.equals(27, error.column);
       }
     }
     {
-      var a = new List<String>(5);
+      var a = new List<String>.fixedLength(5);
       List a0 = a;
       List<Object> ao = a;
       try {
         List<int> ai = a;
       } on TypeError catch (error) {
         result++;
         Expect.equals("List<int>", error.dstType);
         Expect.equals("List<String>", error.srcType);
         Expect.equals("ai", error.dstName);
         int pos = error.url.lastIndexOf("/", error.url.length);
@@ skipping 45 matching lines @@
 class C {
   factory C() {
     return 1;  // Implicit result type is 'C', not int.
   }
 }
 
 
 main() {
   TypeTest.testMain();
 }