Correctly handle constness for list and map literals inside bodies.

tests/language/language-leg.status

 # 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.
 
 [ $compiler == dart2js && $checked ]
 *: Skip
 
 
 [ $compiler == dart2js]
 AdjacentConstStringLiteralsTest: Pass # Not recognizing 'const' constructor call.
 CompileTimeConstant8Test: Fail # We don't take the generic type into account yet.
 CompileTimeConstantBTest: Fail # We don't handle constant map literals with __proto__ key yet.
 
 
 # Compilation errors.
 CTConstTest: Fail # map not implemented
 CallOperatorTest: Fail # Unexpected token 'call'
-CanonicalConstTest: Fail # map not implemented
 CharEscapeTest: Fail # Unhandled non-BMP character: U+10000
 ConstObjectsAreImmutableTest: Fail # map not implemented
 Constructor6Test: Fail # Closures inside initializers not implemented.
 DefaultFactoryLibraryTest: Fail # lib is not a type
 DynamicTest: Fail # cannot resolve type F1
 Factory3Test: Fail # Handling of compile-time constants.
 FinalSyntaxTest/none: Fail # Incorrect compile-time constant handling.
 FunctionLiterals2Test: Fail # Closures inside initializers not implemented.
 FunctionSyntaxTest: Fail # Closures inside initializers not implemented.
 FunctionTypeAlias2Test: Fail # cannot resolve type f1
 FunctionTypeAlias3Test: Fail # cannot resolve type F
 FunctionTypeAlias4Test: Fail # cannot resolve type F
 FunctionTypeAliasTest: Fail # cannot resolve type Fun
 FunctionTypeParameter2Test: Fail # Internal Error: expected expected optional parameters
 FunctionTypeParameterTest: Fail # Internal Error: expected expected optional parameters
 GenericInstanceofTest: Fail # cannot resolve type T
 GenericTest: Fail # cannot resolve type T
 GetSetSyntaxTest/none: Fail # Parsing of pseudo keywords.
 GettersSettersTest: Fail # Internal Error: SsaBuilder.visitIdentifier on non-this
 ImplicitScopeTest: Fail # duplicate definition of a="bar"
 LabelTest: Fail # switch cases are not implemented
 LibraryPrefixesTest: Fail # other is not a type
 LocalFunctionTest: Fail # duplicate definition of f(var n)=> n*n-1
 ManyGenericInstanceofTest: Fail # cannot resolve type T
 MapLiteral2Test: Fail # expected a constant string
+MapLiteral3Test: Fail # CL on its way (const { 'a': 3, 'a': 4 } not treated correctly.
 MapLiteral4Test: Fail # map not implemented
 MethodBindingTest: Fail # Internal Error: SsaBuilder.visitIdentifier on non-this
 MethodNameTest: Fail # Parsing of pseudo keywords.
 MethodOverrideTest: Fail # cannot resolve type GetKeysFunctionType
 NamedParameters2Test: Fail # Unimplemented non-matching static call
 NamedParameters3Test: Fail # Unimplemented non-matching static call
 NamedParameters4Test: Fail # Unimplemented non-matching static call
 NamedParametersTypeTest: Fail # Internal Error: Cannot find value
 NamingTest: Fail # Internal Error: Cannot find value
 NanInfinityTest: Fail # CompileTimeConstantEvaluator not implemented
 ParameterInitializerTest: Fail # Internal Error: SsaBuilder.visitIdentifier on non-this
 PseudoKWTest: Fail # Unexpected token '('
 SuperAllNamedConstructorTest: Fail # Internal Error: Cannot find value
 SuperFieldAccessTest: Fail # Internal Error: SsaBuilder.visitIdentifier on non-this
 SuperFieldTest: Fail # no method named city in class B
 SuperImplicitClosureTest: Fail # Internal Error: SsaBuilder.visitIdentifier on non-this
 SuperOperatorTest: Fail # no method named + in class A
 SuperSetterTest: Fail # Internal Error: SsaBuilder.visitIdentifier on non-this
 SwitchLabelTest: Fail # switch cases are not implemented
 TypeDartcTest: Fail # non-empty instruction stack
 
 
 # Implementation errors (library or generated code).
 AssertionTest: Fail # Expect.equals(expected: <0>, actual: <null>) fails.
 BadNamedParametersTest: Fail # NullPointerException
 BitOperationsTest: Fail # Expect.equals(expected: <18446744073709552000>, actual: <1>) fails.
-ConstListTest: Fail # Expect.equals(expected: <true>, actual: <false>) fails.
 ExpectTest: Fail # Expect.identical did not fail
 FactoryImplementationTest: Fail # Expect.equals(expected: <1>, actual: <0>) fails.
 FunctionTest: Fail # continue not implemented
 GenericDeepTest: Fail # Expect.isTrue(false) fails.
 GenericInheritanceTest: Fail # Expect.isTrue(false) fails.
 GenericParameterizedExtendsTest: Fail # Expect.isTrue(false) fails.
 InstanceCompoundAssignmentOperatorTest: Fail # Expect.equals(expected: <4>, actual: <5>) fails.
 Instanceof2Test: Fail # Expect.equals(expected: <true>, actual: <false>) fails.
-ListLiteral3Test: Fail # Expect.equals(expected: <true>, actual: <false>) fails.
 ListLiteral4Test: Fail # Expect.equals(expected: <110111>, actual: <null>) fails.
 ToStringAsFixedTest: Fail # Expect.equals(expected: <0.0000006>, actual: <0.0000010>) fails.
 TypeChecksInFactoryMethodTest: Fail # Expect.equals(expected: <true>, actual: <false>) fails.
 
 
 #
 # The following tests are all semantic tests that we can rely on dartc
 # catching for now.
 #
 AbstractStaticNegativeTest: Fail, OK # Negative language test.
 AbstractSyntaxTest/01: Fail, OK # Negative language test.
 AbstractSyntaxTest/02: Fail, OK # Negative language test.
 AssignTopMethodNegativeTest: Fail, OK # Negative language test.
 ClassCycleNegativeTest: Fail, OK # Negative language test.
 ClassExtendsNegativeTest: Fail, OK # Negative language test.
 ClassOverrideNegativeTest: Fail, OK # Negative language test.
 ConstConstructorSyntaxTest/01: Fail, OK # Negative language test.
 ConstConstructorSyntaxTest/02: Fail, OK # Negative language test.
 ConstConstructorSyntaxTest/03: Fail, OK # Negative language test.
 ConstConstructorSyntaxTest/04: Fail, OK # Negative language test.
 ConstFactoryNegativeTest: Fail, OK # Negative language test.
 ConstFieldNegativeTest: Fail, OK # Negative language test.
 ConstInit4NegativeTest: Fail, OK # Negative language test.
 ConstInitNegativeTest: Fail, OK # Negative language test.
-ConstOptionalArgsNegativeTest: Fail, OK # 'const' keyword is not verified in literal maps.
 ConstSyntaxTest/01: Fail, OK # Negative language test.
 ConstSyntaxTest/02: Fail, OK # Negative language test.
 ConstSyntaxTest/03: Fail, OK # Negative language test.
 Constructor2NegativeTest: Fail, OK # Negative language test.
 ConstructorDuplicateInitializersTest/02: Fail, OK # Negative language test.
 ConstructorNegativeTest: Pass # For the wrong reason.
 ConstructorReturnNegativeTest: Fail, OK # Negative language test.
 ConstructorReturnWithArrowNegativeTest: Fail, OK # Negative language test.
 ConstructorReturnWithInitAndArrowNegativeTest: Fail, OK # Negative language test.
 ConstructorReturnWithInitNegativeTest: Fail, OK # Negative language test.
@@ skipping 99 matching lines @@
 
 
 RegExp3Test: Fail, OK # Expects exception from const constructor.
 
 
 ListTest: Fail, OK # Obsolete test uses List.copyFrom that was removed on 2011-10-31.
 
 
 [ $compiler == dart2js && $mode == release ]
 AssignTopMethodNegativeTest: Crash