Correctly handle constness for list and map literals inside bodies.

tests/co19/co19-leg.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.
 
 [ $compiler == dart2js && $system == macos ]
 LibTest/core/Math/acos_A01_t01: Fail, OK
 LibTest/core/Math/asin_A01_t01: Fail, OK
 LibTest/core/Math/atan_A01_t01: Fail, OK
 
 
@@ skipping 114 matching lines @@
 LibTest/core/int/toStringAsFixed_A01_t01: Fail, OK # TODO(floitsch): Review.
 LibTest/core/int/toStringAsPrecision_A01_t01: Fail, OK # TODO(floitsch): Review.
 LibTest/core/Expect/identical_A01_t01: Fail # TODO(floitsch): Is NaN identical to NaN?
 
 
 #
 # The following tests are failing. Please add the error message
 # (either a compiler error or exception message). The error messages
 # may sometime be out of date.
 #
-Language/05_Variables/05_Variables_A05_t03: Fail # compiler cancelled: internal error: Unexpected operator.
 Language/06_Functions/2_Formal_Parameters/2_Named_Optional_Formals_A01_t01: Fail # compiler cancelled: internal error: expected expected optional parameters
 Language/07_Classes/1_Instance_Methods/2_Operators_A01_t01: Fail # compiler cancelled: unexpected token 'call'
 Language/07_Classes/1_Instance_Methods/2_Operators_A07_t05: Fail # compiler cancelled: unexpected token 'call'
 Language/07_Classes/5_Constructors/1_Generative_Constructors_A13_t01: Fail # compiler cancelled: cannot resolve type T
 Language/07_Classes/5_Constructors/2_Factories_A01_t01: Fail # compiler cancelled: cannot find constructor A or ADef
 Language/07_Classes/8_Superclasses/1_Inheritance_and_Overriding_A02_t03: Fail # compiler cancelled: internal error: super property store not implemented
 Language/08_Interfaces/4_Superinterfaces/1_Inheritance_and_Overriding_A01_t02: Fail # compiler cancelled: no method named foo in class I
 Language/09_Generics/09_Generics_A04_t03: Fail # compiler cancelled: cannot resolve type N
 Language/09_Generics/09_Generics_A04_t04: Fail # compiler cancelled: cannot resolve type T
 Language/11_Statements/13_Continue_A02_t12: Fail # compiler cancelled: cannot resolve label L
 Language/11_Statements/13_Continue_A02_t13: Fail # compiler cancelled: cannot resolve label L
 Language/13_Types/2_Dynamic_Type_System_A02_t01: Fail # compiler cancelled: cannot resolve type MalformedType
 Language/13_Types/4_Interface_Types_A05_t04: Fail # compiler cancelled: cannot resolve type T
 Language/13_Types/4_Interface_Types_A08_t01: Fail # compiler cancelled: cannot resolve type S
 Language/13_Types/5_Function_Types_A02_t01: Fail # compiler cancelled: unexpected token 'call'
 Language/13_Types/6_Type_Dynamic_A02_t01: Fail # compiler cancelled: cannot resolve type S
+LibTest/core/List/removeLast_A02_t01: Fail # constant list can be modified.
 LibTest/core/RegExp/Pattern_semantics/firstMatch_CharacterClassEscape_A03_t01: Fail # compiler cancelled: internal error: fall-through not implemented
 LibTest/core/RegExp/Pattern_semantics/firstMatch_CharacterClassEscape_A04_t01: Fail # compiler cancelled: internal error: fall-through not implemented
 
 
 
 Language/03_Overview/1_Scoping_A02_t07: Fail # duplicate definition of f(var f){f();}
 Language/03_Overview/1_Scoping_A02_t12: Fail # duplicate definition of x=42
 Language/03_Overview/1_Scoping_A02_t13: Fail # duplicate definition of x=0
 Language/03_Overview/2_Privacy_A01_t06: Fail # cannot resolve type _inaccessibleFuncType
 Language/03_Overview/2_Privacy_A01_t11: Fail # internal error: super property read not implemented
 Language/03_Overview/2_Privacy_A01_t14: Fail # duplicate definition of _(var _)=> _
 Language/03_Overview/2_Privacy_A01_t16: Fail # Expect.equals(expected: <1>, actual: <54>) fails.
-Language/05_Variables/05_Variables_A03_t09: Fail # Expect.isTrue(false) fails.
 Language/11_Statements/09_Try_A05_t03: Fail # Expect.isTrue(false) fails.
 Language/11_Statements/11_Labels_A03_t04: Fail # continue not implemented
 Language/11_Statements/12_Break_A03_t09: Fail # Expect.listEquals(at index 3, expected: <4>, actual: <2>) fails
 Language/11_Statements/14_Throw_A03_t02: Fail # Expect.isTrue(false) fails.
 Language/11_Statements/14_Throw_A03_t03: Fail # Expect.isTrue(false) fails.
 Language/12_Libraries_and_Scripts/12_Libraries_and_Scripts_A05_t02: Fail # operator-is with typedef.
-Language/12_Libraries_and_Scripts/2_Includes_A02_t03: Fail # Canonicalization.
 Language/13_Types/3_Type_Declarations/1_Typedef_A02_t01: Fail # Expect.isTrue(false) fails.
 Language/13_Types/3_Type_Declarations/1_Typedef_A02_t02: Fail # Expect.isTrue(false) fails.
 Language/13_Types/3_Type_Declarations/1_Typedef_A02_t03: Fail # Expect.isTrue(false) fails.
 Language/13_Types/3_Type_Declarations/1_Typedef_A03_t01: Fail # Expect.isTrue(false) fails.
 Language/13_Types/3_Type_Declarations/1_Typedef_A04_t01: Fail # Expect.isTrue(false) fails.
 Language/13_Types/3_Type_Declarations/1_Typedef_A04_t02: Fail # Expect.isTrue(false) fails.
 Language/13_Types/4_Interface_Types_A10_t04: Fail # visitIdentifier for typedefs not implemented
 Language/13_Types/4_Interface_Types_A12_t09: Fail # Expect.isFalse(true) fails.
 Language/13_Types/4_Interface_Types_A12_t12: Fail # Expect.isFalse(true) fails.
 Language/13_Types/4_Interface_Types_A12_t13: Fail # Expect.isFalse(true) fails.
@@ skipping 17 matching lines @@
 LibTest/core/Math/parseDouble_A02_t01: Fail # Expect.fail('BadNumberFormatException is expected')
 LibTest/core/Queue/iterator_A01_t01: Fail # Expect.isFalse(true) fails.
 LibTest/core/RegExp/Pattern_semantics/firstMatch_CharacterEscape_A06_t02: Fail # IllegalJSRegExpException: '\c(' 'SyntaxError: Invalid regular expression: /\c(/: Unterminated group'
 LibTest/core/RegExp/Pattern_semantics/firstMatch_DecimalEscape_A01_t02: Fail # Expect.fail('Some exception expected')
 LibTest/core/RegExp/Pattern_semantics/firstMatch_NonEmptyClassRanges_A01_t05: Fail # Expect.fail('Some exception expected')
 LibTest/core/RegExp/Pattern_semantics/firstMatch_NonEmptyClassRanges_A01_t06: Fail # Expect.fail('Some exception expected')
 
 
 Language/10_Expressions/01_Constants_A10_t01: Fail # internal error: CompileTimeConstantEvaluator not implemented
 Language/10_Expressions/01_Constants_A12_t01: Fail # internal error: CompileTimeConstantEvaluator not implemented
-Language/10_Expressions/01_Constants_A15_t03: Fail # 'const' keyword is not verified in literal maps.
 Language/10_Expressions/01_Constants_A15_t24: Fail # test will change: issue 2277
-Language/10_Expressions/06_Lists_A07_t01: Fail # Canonicalization of lists.
-Language/10_Expressions/07_Maps_A05_t01: Fail # Constant maps.
-Language/10_Expressions/07_Maps_A06_t01: Fail # Canonicalization of maps.
+Language/10_Expressions/06_Lists_A06_t01: Fail # const lists can be modified.
+Language/10_Expressions/06_Lists_A07_t02: Fail # generic type information is lost during canonicalization.
+Language/10_Expressions/07_Maps_A06_t02: Fail # generic type information is lost during canonicalization.
 Language/10_Expressions/13_Function_Invocation/2_Binding_Actuals_to_Formals_A01_t01: Fail # Unimplemented non-matching static call
 Language/10_Expressions/13_Function_Invocation/2_Binding_Actuals_to_Formals_A01_t04: Fail # Unimplemented non-matching static call
 Language/10_Expressions/13_Function_Invocation/2_Binding_Actuals_to_Formals_A01_t05: Fail # Unimplemented non-matching static call
 Language/10_Expressions/13_Function_Invocation/4_Function_Expression_Invocation_A05_t01: Fail # TypeError: Object #<Closure> has no method 'call'
 Language/10_Expressions/14_Method_Invocation/3_Super_Invocation_A03_t04: Fail # internal error: super property store not implemented
 Language/10_Expressions/14_Method_Invocation/3_Super_Invocation_A07_t01: Fail # Should throw ObjectNotClosure, not NoSuchMethodException.
 Language/10_Expressions/16_Assignment_A05_t06: Fail # Wrong name passed to noSuchMethod.
 Language/10_Expressions/20_Equality_A05_t01: Fail # != cannot be called on super
 Language/10_Expressions/20_Equality_A06_t01: Fail # Canonicalization.
 Language/10_Expressions/20_Equality_A07_t01: Fail # === cannot be called on super
@@ skipping 226 matching lines @@
 Language/08_Interfaces/Interfaces_A01_t02: Fail, OK # @compile-error
 Language/08_Interfaces/Interfaces_A02_t01: Fail, OK # @compile-error
 Language/08_Interfaces/Interfaces_A02_t02: Fail, OK # @compile-error
 Language/08_Interfaces/Interfaces_A02_t03: Fail, OK # @compile-error
 Language/08_Interfaces/Interfaces_A02_t04: Fail, OK # @compile-error
 Language/08_Interfaces/Interfaces_A02_t05: Fail, OK # @compile-error
 Language/09_Generics/09_Generics_A01_t10: Fail, OK # @compile-error
 Language/10_Expressions/01_Constants_A15_t34: Fail, OK # @compile-error
 Language/10_Expressions/02_Null_A04_t01: Fail, OK # @compile-error
 Language/10_Expressions/05_Strings/1_String_Interpolation_A01_t12: Fail, OK # @compile-error
-Language/10_Expressions/06_Lists_A03_t01: Fail, OK # @compile-error
 Language/10_Expressions/06_Lists_A04_t01: Fail, OK # @compile-error
-Language/10_Expressions/07_Maps_A02_t02: Fail, OK # @compile-error
 Language/10_Expressions/07_Maps_A03_t01: Fail, OK # @compile-error
 Language/10_Expressions/08_Function_Expressions_A01_t03: Fail, OK # @compile-error
 Language/10_Expressions/10_Instance_Creation/1_New_A05_t01: Fail, OK # @compile-error
 Language/10_Expressions/10_Instance_Creation/2_Const_A03_t01: Fail, OK # @compile-error
 Language/10_Expressions/10_Instance_Creation/2_Const_A04_t02: Fail, OK # @compile-error
 Language/10_Expressions/10_Instance_Creation/2_Const_A05_t02: Fail, OK # @compile-error
 Language/10_Expressions/10_Instance_Creation/2_Const_A07_t01: Fail, OK # @compile-error
 Language/10_Expressions/10_Instance_Creation/2_Const_A10_t01: Fail, OK # @compile-error
 Language/10_Expressions/10_Instance_Creation_A02_t01: Fail, OK # @compile-error
 Language/10_Expressions/10_Instance_Creation_A02_t02: Fail, OK # @compile-error
@@ skipping 33 matching lines @@
 Language/12_Libraries_and_Scripts/1_Imports_A07_t02: Fail, OK # @compile-error
 Language/12_Libraries_and_Scripts/2_Includes_A01_t01: Fail, OK # @compile-error
 Language/12_Libraries_and_Scripts/2_Includes_A03_t02: Fail, OK # @compile-error
 Language/12_Libraries_and_Scripts/2_Includes_A03_t03: Fail, OK # @compile-error
 Language/13_Types/1_Static_Types_A02_t08: Fail, OK # @compile-error
 Language/13_Types/3_Type_Declarations/1_Typedef_A06_t01: Fail, OK # @compile-error
 Language/13_Types/3_Type_Declarations/1_Typedef_A06_t02: Fail, OK # @compile-error
 Language/13_Types/3_Type_Declarations/1_Typedef_A06_t03: Fail, OK # @compile-error
 Language/13_Types/3_Type_Declarations/1_Typedef_A06_t04: Fail, OK # @compile-error
 Language/13_Types/7_Type_Void_A01_t02: Fail, OK # @compile-error