Fail inference when an instance field is referenced.

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

 // Copyright (c) 2015, 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.summary_common;
 
 import 'package:analyzer/analyzer.dart';
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/error/listener.dart';
 import 'package:analyzer/src/dart/scanner/reader.dart';
@@ skipping 6918 matching lines @@
 class C {
   List<int> items;
 }
 final C c = new C();
 final v = c.items..[1] = 2;
 ''');
     assertUnlinkedConst(variable.initializer.bodyExpr,
         isValidConst: false,
         operators: [
           UnlinkedExprOperation.pushReference,
-          //   ..[1] = 2
-          UnlinkedExprOperation.cascadeSectionBegin,
-          UnlinkedExprOperation.pushInt,
-          UnlinkedExprOperation.pushInt,
-          UnlinkedExprOperation.assignToIndex,
-          // c
-          UnlinkedExprOperation.cascadeSectionEnd,
         ],
-        assignmentOperators: [
-          UnlinkedExprAssignOperator.assign,
-        ],
-        ints: [
-          2,
-          1
-        ],
+        assignmentOperators: [],
+        ints: [],
         strings: [],
         referenceValidators: [
           (EntityRef r) => checkTypeRef(r, null, 'items',
                   expectedKind: ReferenceKind.unresolved,
                   prefixExpectations: [
                     new _PrefixExpectation(
                         ReferenceKind.topLevelPropertyAccessor, 'c'),
                   ])
         ]);
   }
 
   test_expr_cascadeSection_assignToProperty() {
     if (skipNonConstInitializers) {
       return;
     }
     UnlinkedVariable variable = serializeVariableText('''
 class C {
   int f1 = 0;
   int f2 = 0;
 }
 final v = new C()..f1 = 1..f2 += 2;
 ''');
     assertUnlinkedConst(variable.initializer.bodyExpr,
         isValidConst: false,
         operators: [
-          // new C()
           UnlinkedExprOperation.invokeConstructor,
-          //   ..f1 = 1
-          UnlinkedExprOperation.cascadeSectionBegin,
-          UnlinkedExprOperation.pushInt,
-          UnlinkedExprOperation.assignToProperty,
-          // C
-          UnlinkedExprOperation.cascadeSectionEnd,
-          //   ..f2 += 2
-          UnlinkedExprOperation.cascadeSectionBegin,
-          UnlinkedExprOperation.pushInt,
-          UnlinkedExprOperation.assignToProperty,
-          // C
-          UnlinkedExprOperation.cascadeSectionEnd,
         ],
-        assignmentOperators: [
-          UnlinkedExprAssignOperator.assign,
-          UnlinkedExprAssignOperator.plus,
+        assignmentOperators: [],
+        ints: [
+          0,
+          0
         ],
-        ints: [
-          0, 0, // new C()
-          1, // f1 = 1
-          2, // f2 += 2
-        ],
-        strings: [
-          'f1',
-          'f2',
-        ],
+        strings: [],
         referenceValidators: [
           (EntityRef r) => checkTypeRef(r, null, 'C',
               expectedKind: ReferenceKind.classOrEnum)
         ]);
   }
 
   test_expr_cascadeSection_embedded() {
     if (skipNonConstInitializers) {
       return;
     }
     UnlinkedVariable variable = serializeVariableText('''
 class A {
   int fa1;
   B b;
   int fa2;
 }
 class B {
   int fb;
 }
 final v = new A()
   ..fa1 = 1
   ..b = (new B()..fb = 2)
   ..fa2 = 3;
 ''');
     assertUnlinkedConst(variable.initializer.bodyExpr,
         isValidConst: false,
         operators: [
-          // new A()
           UnlinkedExprOperation.invokeConstructor,
-          // ..fa1 = 1
-          UnlinkedExprOperation.cascadeSectionBegin,
-          UnlinkedExprOperation.pushInt,
-          UnlinkedExprOperation.assignToProperty,
-          UnlinkedExprOperation.cascadeSectionEnd,
-          // ..b
-          UnlinkedExprOperation.cascadeSectionBegin,
-          //   new B()
-          UnlinkedExprOperation.invokeConstructor,
-          //   ..fb = 2
-          UnlinkedExprOperation.cascadeSectionBegin,
-          UnlinkedExprOperation.pushInt,
-          UnlinkedExprOperation.assignToProperty,
-          UnlinkedExprOperation.cascadeSectionEnd,
-          // ..b = <pop value>
-          UnlinkedExprOperation.assignToProperty,
-          UnlinkedExprOperation.cascadeSectionEnd,
-          // ..fa2 = 3
-          UnlinkedExprOperation.cascadeSectionBegin,
-          UnlinkedExprOperation.pushInt,
-          UnlinkedExprOperation.assignToProperty,
-          UnlinkedExprOperation.cascadeSectionEnd,
         ],
-        assignmentOperators: [
-          UnlinkedExprAssignOperator.assign,
-          UnlinkedExprAssignOperator.assign,
-          UnlinkedExprAssignOperator.assign,
-          UnlinkedExprAssignOperator.assign,
-        ],
+        assignmentOperators: [],
         ints: [
           0,
           0,
-          1,
-          0,
-          0,
-          2,
-          3,
         ],
-        strings: [
-          'fa1',
-          'fb',
-          'b',
-          'fa2',
-        ],
+        strings: [],
         referenceValidators: [
           (EntityRef r) => checkTypeRef(r, null, 'A',
               expectedKind: ReferenceKind.classOrEnum),
-          (EntityRef r) => checkTypeRef(r, null, 'B',
-              expectedKind: ReferenceKind.classOrEnum),
         ]);
   }
 
   test_expr_cascadeSection_invokeMethod() {
     if (skipNonConstInitializers) {
       return;
     }
     UnlinkedVariable variable = serializeVariableText('''
 class A {
   int m(int _) => 0;
 }
 final A a = new A();
 final v = a..m(5).abs()..m(6);
 ''');
     assertUnlinkedConst(variable.initializer.bodyExpr,
         isValidConst: false,
         operators: [
-          // a
           UnlinkedExprOperation.pushReference,
-          //   ..m(5)
-          UnlinkedExprOperation.cascadeSectionBegin,
-          UnlinkedExprOperation.pushInt,
-          UnlinkedExprOperation.invokeMethod,
-          //   ..abs()
-          UnlinkedExprOperation.invokeMethod,
-          // a
-          UnlinkedExprOperation.cascadeSectionEnd,
-          //   ..m(6)
-          UnlinkedExprOperation.cascadeSectionBegin,
-          UnlinkedExprOperation.pushInt,
-          UnlinkedExprOperation.invokeMethod,
-          // a
-          UnlinkedExprOperation.cascadeSectionEnd,
         ],
-        ints: [
-          5, 0, 1, 0, // m(5)
-          0, 0, 0, // abs()
-          6, 0, 1, 0, // m(5)
-        ],
-        strings: [
-          'm',
-          'abs',
-          'm',
-        ],
+        ints: [],
+        strings: [],
         referenceValidators: [
           (EntityRef r) => checkTypeRef(r, null, 'a',
               expectedKind: ReferenceKind.topLevelPropertyAccessor),
         ]);
   }
 
   test_expr_extractIndex_ofClassField() {
     if (skipNonConstInitializers) {
       return;
     }
@@ skipping 3564 matching lines @@
  */
 class _PrefixExpectation {
   final ReferenceKind kind;
   final String name;
   final String absoluteUri;
   final int numTypeParameters;
 
   _PrefixExpectation(this.kind, this.name,
       {this.absoluteUri, this.numTypeParameters: 0});
 }