Downwards inference. This adds support to the resolver for downwards

pkg/analyzer/test/src/task/strong/strong_test_helper.dart

Index: pkg/analyzer/test/src/task/strong/strong_test_helper.dart
diff --git a/pkg/analyzer/test/src/task/strong/strong_test_helper.dart b/pkg/analyzer/test/src/task/strong/strong_test_helper.dart
index 330801f07f1f3f92c7a761a9ab9b4f7683810665..38bb0b8e63917cf2bcb10a9c62b796397c3fbd9c 100644
--- a/pkg/analyzer/test/src/task/strong/strong_test_helper.dart
+++ b/pkg/analyzer/test/src/task/strong/strong_test_helper.dart
@@ -92,6 +92,13 @@ void testChecker(String name, Map<String, String> testFiles) {
 
         var librarySource = context.getLibrariesContaining(source).single;
         var resolved = context.resolveCompilationUnit2(source, librarySource);
+        var analyzerErrors = context
+            .getErrors(source)
+            .errors
+            .where((error) =>
+                error.errorCode.name.startsWith('dev_compiler.InferredType'))
+            .toList();
+        errors.addAll(analyzerErrors);
         checker.visitCompilationUnit(resolved);
 
         new _ExpectedErrorVisitor(errors).validate(resolved);
@@ -395,6 +402,7 @@ final Map<String, String> mockSdkSources = {
 
         class String {
           String operator +(String other) {}
+          String substring(int len) {}
         }
         class bool {}
         class num {