Implement type checking of list literals (issue 220).

tests/language/language.status

 # 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.
 
 # This directory contains tests that are intended to show the
 # current state of the language.
 
 # In order to maintain maximum test coverage for all builds,
 # please use the following procedure to mark a test
 # failed on architectures other than the one you are working on.
@@ skipping 100 matching lines @@
 For2Test: Fail               # Bug 4995208.
 FunctionTypeAliasNegativeTest: Fail  # Bug 5231617.
 FunctionTypeAliasTest: Crash # Bug 4519208.
 GenericParameterizedExtendsTest: Skip  # Bug 5392297
 GenericTest: Fail            # Bug 5393302 (missing call to super constructor)
 GetterClosureExecutionOrderTest: Fail # Bug 5481595
 ImplicitThisTest/none: Fail # Issue 375
 InterfaceFactory3NegativeTest: Fail      # Bug 5387405
 IsObjectTest: Skip # Hasn't be tested on DartC yet
 Library4NegativeTest: Fail               # Bug 5406175
-ListLiteral3Test: Fail      # Bug 4510015.
+ListLiteral1NegativeTest: Skip # Issue 220
+ListLiteral2NegativeTest: Fail # Issue 220
+ListLiteral3Test: Fail # Issue 220
+ListLiteral4Test: Fail # Issue 220
 ListTest: Fail              # Bug 5146975.
 LocalFunction3Test: Fail     # Bug 4202974.
 LocalFunctionTest: Fail      # Bug in test. Bug 4202989 (shadowing).
 MapLiteral3Test: Fail # Issue 221
 MapLiteral4Test: Fail # Issue 221
 ManyOverriddenNoSuchMethodTest: Fail  # Bug 4202974.
 MethodOverrideTest: Crash    # Bug 5516001.
 NamedParameters2NegativeTest: Fail   # Implementation in progress.
 NamedParameters3NegativeTest: Fail   # Implementation in progress.
 NamedParameters4NegativeTest: Fail   # Implementation in progress.
@@ skipping 66 matching lines @@
 *DartcTest: Skip
 *DartcNegativeTest: Skip
 # Currently, these patterns skip three tests:
 # MathVMTest - correctly skipped as this relies on VM guarantees
 #    - should add a version of this with the --enable_type_checks flag
 # TypeVMTest - correctly skipped as this relies on detailed of TypeError
 # TypeDartcTest - should pass, need refactoring to get frog safe version
 
 BitOperationsTest: Fail  # relies on big integers not available in JS
 CallThroughGetterTest: Fail
-CanonicalConstTest: Fail # type in const array allocation is erased
 CharEscapeTest: Fail
 ClassOverrideNegativeTest: Fail
 ClosureSharedStateTest: Fail
 ConstFactoryNegativeTest: Fail
 ConstObjectsAreImmutableTest: Fail
 CTConstTest: Fail # Not checking for generic type in const expression.
 DefaultFactoryLibraryTest: Fail    # Issue 514
 DynamicTest: Fail
 ExampleConstructorTest: Fail
 Constructor2Test: Fail
@@ skipping 31 matching lines @@
 IncrOpTest: Fail
 Instanceof2Test: Fail
 InstanceofTest: Fail
 InterfaceFactory3NegativeTest: Fail
 IsNotClass4NegativeTest: Fail
 LabelTest: Fail
 Library1NegativeTest: Fail # issue with test see #354
 Library4NegativeTest: Fail # issue with test see #354
 Library5NegativeTest: Fail # issue with test see #354
 Library6NegativeTest: Fail # issue with test see #354
-ListLiteral3Test: Fail
+ListLiteral1NegativeTest: Fail # Issue 220
+ListLiteral2NegativeTest: Fail # Issue 220
+ListLiteral3Test: Fail # Issue 220
+ListLiteral4Test: Fail # Issue 220
 ListTest: Fail         # array bound checks not implemented
 LocalFunction3Test: Fail
 LocalFunctionTest: Fail
 ManyGenericInstanceofTest: Fail
 MapLiteral1NegativeTest: Fail # Issue 221
 MapLiteral2NegativeTest: Fail # Issue 221
 MapLiteral4Test: Fail # Issue 221
 MathTest: Fail
 MethodBindingTest: Fail
 MethodOverrideTest: Fail
@@ skipping 72 matching lines @@
 StaticField2RunNegativeTest: Fail
 
 [ $arch == x64 ]
 *: Skip
 
 [ $arch == simarm ]
 *: Skip
 
 [ $arch == arm ]
 *: Skip