Typecheck map and list literals

lib/src/testing.dart

 // Copyright (c) 2015, 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.
 
 library ddc.src.testing;
 
 import 'package:analyzer/src/generated/ast.dart';
 import 'package:analyzer/src/generated/element.dart';
 import 'package:analyzer/src/generated/engine.dart' show TimestampedData;
 import 'package:analyzer/src/generated/source.dart';
@@ skipping 28 matching lines @@
 /// conversion, you can describe the test as follows:
 ///
 ///     testChecker({
 ///       '/main.dart': '''
 ///           testMethod() {
 ///             dynamic x = /*warning:Box*/3;
 ///           }
 ///       '''
 ///     });
 ///
-CheckerResults testChecker(Map<String, String> testFiles, {String sdkDir,
-    CheckerReporter reporter, covariantGenerics: true, relaxedCasts: true,
-    inferFromOverrides: true, inferStaticsFromIdentifiers: false,
-    inferInNonStableOrder: false}) {
+CheckerResults testChecker(Map<String, String> testFiles,
+    {bool allowConstCasts: true, String sdkDir, CheckerReporter reporter,
+    covariantGenerics: true, relaxedCasts: true, inferFromOverrides: true,
+    inferStaticsFromIdentifiers: false, inferInNonStableOrder: false}) {
   expect(testFiles.containsKey('/main.dart'), isTrue,
       reason: '`/main.dart` is missing in testFiles');
 
   // Create a resolver that can load test files from memory.
   var testUriResolver = new _TestUriResolver(testFiles);
   var options = new CompilerOptions(
+      allowConstCasts: allowConstCasts,
       covariantGenerics: covariantGenerics,
       relaxedCasts: relaxedCasts,
       inferFromOverrides: inferFromOverrides,
       inferStaticsFromIdentifiers: inferStaticsFromIdentifiers,
       inferInNonStableOrder: inferInNonStableOrder);
   var resolver = sdkDir == null
       ? new TypeResolver.fromMock(mockSdkSources, options,
           otherResolvers: [testUriResolver])
       : new TypeResolver.fromDir(sdkDir, options,
           otherResolvers: [testUriResolver]);
@@ skipping 233 matching lines @@
 
   SourceSpan spanFor(AstNode node) {
     final begin = node is AnnotatedNode
         ? node.firstTokenAfterCommentAndMetadata.offset
         : node.offset;
     return _file.span(begin, node.end);
   }
 
   String toString() => '[$runtimeType: $uri]';
 }