Fail inference when an instance field is referenced.

pkg/analyzer/test/src/summary/linker_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.
 
 import 'package:analyzer/dart/element/type.dart';
 import 'package:analyzer/src/dart/element/element.dart';
 import 'package:analyzer/src/summary/format.dart';
 import 'package:analyzer/src/summary/idl.dart';
 import 'package:analyzer/src/summary/link.dart';
 import 'package:test/test.dart';
@@ skipping 330 matching lines @@
 class E {}
 ''',
         path: '/a.dart');
     addBundle('/a.ds', bundle);
     createLinker('''
 import 'a.dart';
 var y = C.x;
 ''');
     LibraryElementForLink library = linker.getLibrary(linkerInputs.testDartUri);
     expect(_getVariable(library.getContainedName('y')).inferredType.toString(),
-        '(D) → E');
+        '(D) → dynamic');
   }
 
   void test_inferredType_instanceField_conditional_genericFunctions() {
     createLinker('''
 class C {
   final f = true ? <T>(T t) => 0 : <T>(T t) => 1;
 }
 ''');
     LibraryElementForLink library = linker.getLibrary(linkerInputs.testDartUri);
     library.libraryCycleForLink.ensureLinked();
@@ skipping 120 matching lines @@
     var bundle = createPackageBundle(
         '''
 class C {
   var f = 0; // Inferred type: int
 }
 ''',
         path: '/a.dart');
     addBundle('/a.ds', bundle);
     createLinker('''
 import 'a.dart';
-var x = new C().f; // Inferred type: int
+var x = new C().f; // Inferred type: dynamic
 ''');
     LibraryElementForLink library = linker.getLibrary(linkerInputs.testDartUri);
     expect(_getVariable(library.getContainedName('x')).inferredType.toString(),
-        'int');
+        'dynamic');
   }
 
   void test_inferredTypeFromOutsideBuildUnit_instanceField_toInstanceField() {
     var bundle = createPackageBundle(
         '''
 class C {
   var f = 0; // Inferred type: int
 }
 ''',
         path: '/a.dart');
     addBundle('/a.ds', bundle);
     createLinker('''
 import 'a.dart';
 class D {
-  var g = new C().f; // Inferred type: int
+  var g = new C().f; // Inferred type: dynamic
 }
 ''');
     LibraryElementForLink library = linker.getLibrary(linkerInputs.testDartUri);
     ClassElementForLink_Class classD = library.getContainedName('D');
-    expect(classD.fields[0].inferredType.toString(), 'int');
+    expect(classD.fields[0].inferredType.toString(), 'dynamic');
   }
 
   void test_inferredTypeFromOutsideBuildUnit_methodParamType_viaGeneric() {
     var bundle = createPackageBundle(
         '''
 class B {
   T f<T>(T t) => t;
 }
 class C extends B {
   f<T>(t) => t; // Inferred param type: T
@@ skipping 438 matching lines @@
    */
   EntityRef _lookupInferredType(LinkedUnit unit, int slot) {
     for (EntityRef ref in unit.types) {
       if (ref.slot == slot) {
         return ref;
       }
     }
     return null;
   }
 }