Fail inference when an instance field is referenced.

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

 // Copyright (c) 2016, 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 file.
 
 library analyzer.test.src.summary.resynthesize_ast_test;
 
 import 'dart:async';
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/element/element.dart';
@@ skipping 144 matching lines @@
     await super.test_blockBodiedLambdas_nestedLambdas_topLevel();
   }
 
   @override
   @failingTest
   test_blockBodiedLambdas_syncStar_topLevel() async {
     await super.test_blockBodiedLambdas_syncStar_topLevel();
   }
 
   @override
-  test_canInferAlsoFromStaticAndInstanceFieldsFlagOn() async {
-    variablesWithNotConstInitializers.add('a2');
-    await super.test_canInferAlsoFromStaticAndInstanceFieldsFlagOn();
-  }
-
-  @override
   @failingTest
   test_circularReference_viaClosures_initializerTypes() async {
     await super.test_circularReference_viaClosures_initializerTypes();
   }
 
   test_infer_extractIndex_custom() async {
     var unit = await checkFileElement('''
 class A {
   String operator [](_) => null;
 }
@@ skipping 35 matching lines @@
 }
 class B {
   C c = new C();
 }
 class C {
   int d;
 }
 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 {
     var unit = await checkFileElement(r'''
 class A<T> {
   B<T> b = new B<T>();
 }
 class B<K> {
   C<List<K>, int> c = new C<List<K>, int>();
 }
 class C<K, V> {
   Map<K, V> d;
 }
 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 {
     var unit = await checkFileElement(r'''
 class A {
   B b = new B();
 }
 class B {
   int c;
 }
@@ skipping 28 matching lines @@
 }
 class B {
   C c = new C();
 }
 class C {
   int m(double p1, String p2) => 42;
 }
 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 {
     await checkFileElement(r'''
 class A {
   factory A() = B;
 }
 class B implements A {}
 var a = new A();
   ''');
@@ skipping 115 matching lines @@
 }
 class B<K> {
   C<List<K>, int> c = new C<List<K>, int>();
 }
 class C<K, V> {
   Map<K, V> m() => null;
 }
 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 {
     var unit = await checkFileElement(r'''
 class A<K> {
   /*=Map<K, V>*/ m/*<V>*/(/*=V*/ a) => null;
 }
 var a = new A<int>();
 var b = a.m(1.0);
   ''');
@@ skipping 25 matching lines @@
 class B {
   int m() => 0;
 }
 var a = new A();
 ''',
         name: '/a.dart');
     var unit = await checkFileElement(r'''
 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 {
     var unit = await checkFileElement('''
 class Base {
   int m() => 0;
 }
 class A extends Base {
   m() => 0; // Inferred return type: int
 }
@@ skipping 24 matching lines @@
 ''');
     // Since a.dart is in a separate library file from the compilation unit
     // containing `a` and `b`, its types are inferred first; then `a` and `b`'s
     // types are inferred.  So the inferred return type of `int` should be
     // propagated to `b`.
     expect(unit.topLevelVariables[1].type.toString(), 'int');
   }
 
   @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();
   }
 
   @override
   @failingTest
   test_inferredType_blockBodiedClosure_noArguments() async {
     await super.test_inferredType_blockBodiedClosure_noArguments();
   }
 
   @override
   @failingTest
   test_inferredType_blockClosure_noArgs_noReturn() async {
     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> {
   T m(int a, {String b, T c}) => null;
 }
 var v = new C<double>().m(1, b: 'bbb', c: 2.0);
   ''');
     expect(unit.topLevelVariables[0].type.toString(), 'double');
   }
 
@@ skipping 354 matching lines @@
 
   @override
   AnalysisOptionsImpl createOptions() =>
       super.createOptions()..strongMode = isStrongMode;
 
   @override
   TestSummaryResynthesizer encodeDecodeLibrarySource(Source source) {
     return _encodeLibrary(source);
   }
 }