Add some top level type inference rules for property gets.

pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart

Index: pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
diff --git a/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart b/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
index 545ee2768340bc423518a94c4eec87bcdbf5ecda..532f236cdb1a051b091a0d9e9a21a59cd817bd39 100644
--- a/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
@@ -1160,6 +1160,14 @@ class KernelPropertyGet extends PropertyGet implements KernelExpression {
     if (receiverType is InterfaceType) {
       interfaceMember = inferrer.classHierarchy
           .getInterfaceMember(receiverType.classNode, name);
+      if (inferrer.isTopLevel &&
+          ((interfaceMember is Procedure &&
+                  interfaceMember.kind == ProcedureKind.Getter) ||
+              interfaceMember is Field)) {
+        // References to fields and getters can't be relied upon for top level
+        // inference.
+        inferrer.recordNotImmediatelyEvident(fileOffset);
+      }
       // Our non-strong golden files currently don't include interface targets,
       // so we can't store the interface target without causing tests to fail.
       // TODO(paulberry): fix this.