Fail inference when an instance field is referenced.

pkg/analyzer/test/src/summary/resynthesize_ast_test.dart

Index: pkg/analyzer/test/src/summary/resynthesize_ast_test.dart
diff --git a/pkg/analyzer/test/src/summary/resynthesize_ast_test.dart b/pkg/analyzer/test/src/summary/resynthesize_ast_test.dart
index 139a5537d84a273e65e6b9491c1e49a682dc4868..ff3fac3a0e453967b4b7d702f718b1f78ff3f156 100644
--- a/pkg/analyzer/test/src/summary/resynthesize_ast_test.dart
+++ b/pkg/analyzer/test/src/summary/resynthesize_ast_test.dart
@@ -223,7 +223,7 @@ class C {
 var a = new A();
 var v = a.b.c.d;
   ''');
-    expect(unit.topLevelVariables[1].type.toString(), 'int');
+    expect(unit.topLevelVariables[1].type.toString(), 'dynamic');
   }
 
   test_infer_extractProperty_getter_sequence_generic() async {
@@ -240,7 +240,7 @@ class C<K, V> {
 var a = new A<double>();
 var v = a.b.c.d;
   ''');
-    expect(unit.topLevelVariables[1].type.toString(), 'Map<List<double>, int>');
+    expect(unit.topLevelVariables[1].type.toString(), 'dynamic');
   }
 
   test_infer_extractProperty_getter_sequence_withUnresolved() async {
@@ -289,7 +289,7 @@ class C {
 var a = new A();
 var v = a.b.c.m;
   ''');
-    expect(unit.topLevelVariables[1].type.toString(), '(double, String) → int');
+    expect(unit.topLevelVariables[1].type.toString(), 'dynamic');
   }
 
   test_infer_invokeConstructor_factoryRedirected() async {
@@ -425,7 +425,7 @@ class C<K, V> {
 var a = new A<double>();
 var v = a.b.c.m();
   ''');
-    expect(unit.topLevelVariables[1].type.toString(), 'Map<List<double>, int>');
+    expect(unit.topLevelVariables[1].type.toString(), 'dynamic');
   }
 
   test_infer_invokeMethodRef_method_gg() async {
@@ -471,7 +471,7 @@ var a = new A();
 import 'a.dart' as p;
 var b = p.a.b.m();
   ''');
-    expect(unit.topLevelVariables[0].type.toString(), 'int');
+    expect(unit.topLevelVariables[0].type.toString(), 'dynamic');
   }
 
   test_infer_invokeMethodRef_method_withInferredTypeInLibraryCycle() async {
@@ -516,12 +516,6 @@ var b = a.m();
 
   @override
   @failingTest
-  test_inferCorrectlyOnMultipleVariablesDeclaredTogether() async {
-    await super.test_inferCorrectlyOnMultipleVariablesDeclaredTogether();
-  }
-
-  @override
-  @failingTest
   test_inferenceInCyclesIsDeterministic() async {
     await super.test_inferenceInCyclesIsDeterministic();
   }