anchor.diff:  
   @reflectiveTest
   class CheckedModeCompileTimeErrorCodeTest extends ResolverTestCase {
  +  @override
  +  AnalysisOptions get defaultAnalysisOptions =>
  +      new AnalysisOptionsImpl()..strongMode = true;
  +
     test_fieldFormalParameterAssignableToField_extends() async {
       // According to checked-mode type checking rules, a value of type B is
       // assignable to a field of type A, because B extends A (and hence is a
  
positive.code: class A {
    const A(Map<int, int> x);
  }
  var x = const A(const <int, num>{1: 2});''');
      await computeAnalysisResult(source);
      assertErrors(source, [
        CheckedModeCompileTimeErrorCode.CONST_CONSTRUCTOR_PARAM_TYPE_MISMATCH
  
negative.code: library analyzer.test.generated.checked_mode_compile_time_error_code_test;
  
  import 'package:analyzer/src/error/codes.dart';
  import 'package:analyzer/src/generated/engine.dart';
  import 'package:analyzer/src/generated/source_io.dart';
  import 'package:test_reflective_loader/test_reflective_loader.dart';
  
  