Correctly handle constness for list and map literals inside bodies.

tests/co19/co19-leg.status

Index: tests/co19/co19-leg.status
diff --git a/tests/co19/co19-leg.status b/tests/co19/co19-leg.status
index 87f4310751a4fd91fced7d6ffdb4e7feaf9083d1..6f7d39c642e1337725f2bb7334455690e3d11871 100644
--- a/tests/co19/co19-leg.status
+++ b/tests/co19/co19-leg.status
@@ -132,7 +132,6 @@ LibTest/core/Expect/identical_A01_t01: Fail # TODO(floitsch): Is NaN identical t
 # (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'
@@ -149,6 +148,7 @@ Language/13_Types/4_Interface_Types_A05_t04: Fail # compiler cancelled: cannot r
 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
 
@@ -161,14 +161,12 @@ Language/03_Overview/2_Privacy_A01_t06: Fail # cannot resolve type _inaccessible
 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.
@@ -206,11 +204,10 @@ LibTest/core/RegExp/Pattern_semantics/firstMatch_NonEmptyClassRanges_A01_t06: Fa
 
 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
@@ -457,9 +454,7 @@ 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