Resynthesize top-level accessors and variables from Kernel.

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

 // Copyright (c) 2017, 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 'dart:io';
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/ast/token.dart';
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/dart/element/type.dart';
@@ skipping 663 matching lines @@
 
   void writePropertyAccessorElement(PropertyAccessorElement e) {
     if (e.isSynthetic && !withSyntheticAccessors) {
       return;
     }
 
     if (!e.isSynthetic) {
       PropertyInducingElement variable = e.variable;
       expect(variable, isNotNull);
       expect(variable.isSynthetic, isTrue);
+
+      var variableEnclosing = variable.enclosingElement;
+      if (variableEnclosing is CompilationUnitElement) {
+        expect(variableEnclosing.topLevelVariables, contains(variable));
+      } else if (variableEnclosing is ClassElement) {
+        expect(variableEnclosing.fields, contains(variable));
+      }
+
       if (e.isGetter) {
         expect(variable.getter, same(e));
         if (variable.setter != null) {
           expect(variable.setter.variable, same(variable));
         }
       } else {
         expect(variable.setter, same(e));
         if (variable.getter != null) {
           expect(variable.getter.variable, same(variable));
         }
@@ skipping 29 matching lines @@
     if (e.isSetter || e.parameters.isNotEmpty) {
       writeParameterElements(e.parameters);
     }
 
     expect(e.typeParameters, isEmpty);
 
     expect(e.isSynchronous, isTrue);
     expect(e.isAsynchronous, isFalse);
     expect(e.isGenerator, isFalse);
 
-    if (e.isAbstract) {
+    if (e.isAbstract || e.isExternal) {
       buffer.writeln(';');
     } else {
       buffer.writeln(' {}');
     }
   }
 
   void writePropertyInducingElement(PropertyInducingElement e) {
     if (e.isSynthetic && !withSyntheticFields && !isEnumField(e)) {
       return;
     }
@@ skipping 145 matching lines @@
     return components.join(';');
   }
 }
 
 class _Replacement {
   final int offset;
   final int end;
   final String text;
   _Replacement(this.offset, this.end, this.text);
 }