Implement type inference of getters/setters based on inheritance.

pkg/front_end/lib/src/fasta/kernel/kernel_field_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.kernel_field_builder;
 
 import 'package:front_end/src/fasta/kernel/body_builder.dart' show BodyBuilder;
 
 import 'package:front_end/src/fasta/kernel/kernel_shadow_ast.dart'
     show KernelField;
@@ skipping 13 matching lines @@
 
 import 'package:kernel/ast.dart'
     show DartType, Expression, Field, Name, NullLiteral;
 
 import '../errors.dart' show internalError;
 
 import 'kernel_builder.dart'
     show Builder, FieldBuilder, KernelTypeBuilder, MetadataBuilder;
 
 class KernelFieldBuilder extends FieldBuilder<Expression> {
-  final Field field;
+  final KernelField field;
   final List<MetadataBuilder> metadata;
   final KernelTypeBuilder type;
   final Token initializerTokenForInference;
   final bool hasInitializer;
 
   KernelFieldBuilder(
       this.metadata,
       this.type,
       String name,
       int modifiers,
@@ skipping 21 matching lines @@
       field.type = type.build(library);
     }
     bool isInstanceMember = !isStatic && !isTopLevel;
     field
       ..isFinal = isFinal
       ..isConst = isConst
       ..hasImplicitGetter = isInstanceMember
       ..hasImplicitSetter = isInstanceMember && !isConst && !isFinal
       ..isStatic = !isInstanceMember;
     if (isEligibleForInference) {
-      library.loader.typeInferenceEngine.recordField(field);
+      library.loader.typeInferenceEngine.recordMember(field);
     }
     return field;
   }
 
   Field get target => field;
 
   @override
   void prepareInitializerInference(
       SourceLibraryBuilder library, ClassBuilder currentClass) {
     if (isEligibleForInference) {
@@ skipping 22 matching lines @@
         Expression expression = bodyBuilder.popForValue();
         bodyBuilder.checkEmpty(token.charOffset);
         initializer = expression;
       }
     }
   }
 
   @override
   DartType get builtType => field.type;
 }