Further integration of front end type inference into analyzer.

pkg/front_end/lib/src/fasta/kernel/body_builder.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 fasta.body_builder;
 
 import 'package:kernel/ast.dart'
     hide InvalidExpression, InvalidInitializer, InvalidStatement;
 
 import 'package:kernel/class_hierarchy.dart' show ClassHierarchy;
@@ skipping 396 matching lines @@
 
   @override
   void endMetadataStar(int count, bool forParameter) {
     debugEvent("MetadataStar");
     push(popList(count) ?? NullValue.Metadata);
   }
 
   @override
   void endTopLevelFields(int count, Token beginToken, Token endToken) {
     debugEvent("TopLevelFields");
-    doFields(count);
+    push(count);
   }
 
   @override
   void endFields(int count, Token beginToken, Token endToken) {
     debugEvent("Fields");
-    doFields(count);
+    push(count);
   }
 
-  void doFields(int count) {
+  @override
+  void finishFields() {
+    debugEvent("finishFields");
+    int count = pop();
     List<FieldBuilder> fields = <FieldBuilder>[];
     for (int i = 0; i < count; i++) {
       Expression initializer = pop();
       Identifier identifier = pop();
       String name = identifier.name;
       FieldBuilder field;
       if (classBuilder != null) {
         field = classBuilder[name];
       } else {
         field = library[name];
@@ skipping 26 matching lines @@
         for (Expression annotation in annotations) {
           field.addAnnotation(cloner.clone(annotation));
         }
       }
     }
   }
 
   @override
   void endMember() {
     debugEvent("Member");
-    checkEmpty(-1);
   }
 
   @override
   void endBlockFunctionBody(int count, Token beginToken, Token endToken) {
     debugEvent("BlockFunctionBody");
     if (beginToken == null) {
       assert(count == 0);
       push(NullValue.Block);
     } else {
       Block block = popBlock(count, beginToken);
@@ skipping 3312 matching lines @@
       return AsyncMarker.Async;
     } else {
       assert(identical(starToken.stringValue, "*"));
       return AsyncMarker.AsyncStar;
     }
   } else {
     return unhandled(asyncToken.lexeme, "asyncMarkerFromTokens",
         asyncToken.charOffset, null);
   }
 }