Begin writing tests of the runtime checks needed for Dart 2.0 soundness.

pkg/front_end/lib/src/fasta/testing/validating_instrumentation.dart

 // Copyright (c) 2017, 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.md file.
 import 'dart:async';
 import 'dart:convert';
 import 'dart:io';
 
 import 'package:front_end/src/base/instrumentation.dart';
 import 'package:front_end/src/fasta/compiler_context.dart' show CompilerContext;
 import 'package:front_end/src/fasta/messages.dart';
@@ skipping 11 matching lines @@
   static const _FEATURES = const {
     'inference': const [
       'topType',
       'typeArg',
       'typeArgs',
       'promotedType',
       'type',
       'returnType',
       'target',
     ],
+    'checks': const [
+      'checkCall',
+      'checkFormal',
+      'checkReturn',
+      'checkTearOff',
+      'forwardingStub',
+    ],
   };
 
   /// Map from file URI to the as-yet unsatisfied expectations from that file,
   /// organized by file offset.
   final _unsatisfiedExpectations = <Uri, Map<int, List<_Expectation>>>{};
 
   /// Information about "testedFeatures" annotations, organized by file URI and
   /// file offset.  The inner map is guaranteed to be in ascending order of
   /// file offset.
   final _testedFeaturesState = <Uri, Map<int, Set<String>>>{};
@@ skipping 204 matching lines @@
       this.property, this.value, this.commentOffset, this.commentLength);
 }
 
 class _Fix {
   final int offset;
   final int length;
   final String replacement;
 
   _Fix(this.offset, this.length, this.replacement);
 }