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..e6839a31da80b4d92c5b5283105b7916e5c2148c 100644
--- a/pkg/analyzer/test/src/summary/resynthesize_ast_test.dart
+++ b/pkg/analyzer/test/src/summary/resynthesize_ast_test.dart
@@ -162,12 +162,6 @@ class AstInferredTypeTest extends AbstractResynthesizeTest
   }
 
   @override
-  test_canInferAlsoFromStaticAndInstanceFieldsFlagOn() async {
-    variablesWithNotConstInitializers.add('a2');
-    await super.test_canInferAlsoFromStaticAndInstanceFieldsFlagOn();
-  }
-
-  @override
   @failingTest
   test_circularReference_viaClosures_initializerTypes() async {
     await super.test_circularReference_viaClosures_initializerTypes();
@@ -223,7 +217,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 +234,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 +283,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 +419,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 +465,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,18 +510,6 @@ var b = a.m();
 
   @override
   @failingTest
-  test_inferCorrectlyOnMultipleVariablesDeclaredTogether() async {
-    await super.test_inferCorrectlyOnMultipleVariablesDeclaredTogether();
-  }
-
-  @override
-  @failingTest
-  test_inferenceInCyclesIsDeterministic() async {
-    await super.test_inferenceInCyclesIsDeterministic();
-  }
-
-  @override
-  @failingTest
   test_inferLocalFunctionReturnType() async {
     await super.test_inferLocalFunctionReturnType();
   }
@@ -544,19 +526,6 @@ var b = a.m();
     await super.test_inferredType_blockClosure_noArgs_noReturn();
   }
 
-  @override
-  @failingTest
-  test_inferredType_opAssignToProperty_prefixedIdentifier() async {
-    await super.test_inferredType_opAssignToProperty_prefixedIdentifier();
-  }
-
-  @override
-  @failingTest
-  test_inferredType_opAssignToProperty_prefixedIdentifier_viaInterface() async {
-    return super
-        .test_inferredType_opAssignToProperty_prefixedIdentifier_viaInterface();
-  }
-
   test_invokeMethod_notGeneric_genericClass() async {
     var unit = await checkFileElement(r'''
 class C<T> {