DeCo. Write FieldElement/TopLevelVariableElement.hasImplicitType

Also write `TopLevelVariableElement.isExternal`

Bug: #61701
Change-Id: I00799ba5871158abddec2b5a3c9b0436abfce8a7
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/459841
Reviewed-by: Paul Berry <paulberry@google.com>
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>

Author: scheglov

pkg/analyzer/test/src/dart/analysis/driver_test.dart

@@ -26517,7 +26517,7 @@ final x = a;
 [future] getLibraryByUri T1
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: int
     exportedReferences
       declared <testLibrary>::@getter::x
@@ -26598,7 +26598,7 @@ final a = 1.2;
 [future] getLibraryByUri T2
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: double
     exportedReferences
       declared <testLibrary>::@getter::x
@@ -42147,7 +42147,7 @@ final x = foo();
 [future] getLibraryByUri T1
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: int
 ''',
       updatedA: r'''
@@ -42194,7 +42194,7 @@ double foo() {}
 [future] getLibraryByUri T2
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: double
 ''',
     );
@@ -42248,7 +42248,7 @@ final x = foo();
 [future] getLibraryByUri T1
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: int
 ''',
       updatedA: r'''
@@ -42274,7 +42274,7 @@ double bar() {}
 [future] getLibraryByUri T2
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: int
 ''',
     );
@@ -42327,7 +42327,7 @@ final x = a;
 [future] getLibraryByUri T1
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: int
 ''',
       updatedA: r'''
@@ -42376,7 +42376,7 @@ double get a => 1.2;
 [future] getLibraryByUri T2
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: double
 ''',
     );
@@ -42433,7 +42433,7 @@ final x = a;
 [future] getLibraryByUri T1
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: int
 ''',
       updatedA: r'''
@@ -42462,7 +42462,7 @@ double get b => 1.2;
 [future] getLibraryByUri T2
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: int
 ''',
     );
@@ -42537,7 +42537,7 @@ final x = a;
 [future] getLibraryByUri T1
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: int
 ''',
       // Change the initializer, now `double`.
@@ -42614,7 +42614,7 @@ final a = 1.2;
 [future] getLibraryByUri T2
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: double
 ''',
     );
@@ -42667,7 +42667,7 @@ final x = a;
 [future] getLibraryByUri T1
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: int
 ''',
       // Change the initializer, now `double`.
@@ -42718,7 +42718,7 @@ final a = 1.2;
 [future] getLibraryByUri T2
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: double
 ''',
     );
@@ -98997,7 +98997,7 @@ final x = a;
 [future] getLibraryByUri T1
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: int
 ''',
       updatedA: r'''
@@ -99046,7 +99046,7 @@ double get a => 1.2;
 [future] getLibraryByUri T2
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: double
 ''',
     );
@@ -99155,7 +99155,7 @@ final x = a;
 [future] getLibraryByUri T1
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: int
 ''',
       updatedA: r'''
@@ -99187,7 +99187,7 @@ int get b => 0;
 [future] getLibraryByUri T2
   library
     topLevelVariables
-      final hasInitializer x
+      final hasImplicitType hasInitializer x
         type: int
 ''',
     );

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

@@ -545,6 +545,7 @@ class _Element2Writer extends _AbstractElementWriter {
       _sink.writeIf(e.isConst, 'const ');
       _sink.writeIf(e.isEnumConstant, 'enumConstant ');
       _sink.writeIf(e.isPromotable, 'promotable ');
+      _sink.writeIf(e.hasImplicitType, 'hasImplicitType ');
       _sink.writeIf(e.hasInitializer, 'hasInitializer ');
 
       _writeElementName(e);
@@ -1656,9 +1657,11 @@ class _Element2Writer extends _AbstractElementWriter {
 
     _sink.writeIndentedLine(() {
       _sink.writeIf(e.isSynthetic, 'synthetic ');
+      _sink.writeIf(e.isExternal, 'external ');
       _sink.writeIf(e.isLate, 'late ');
       _sink.writeIf(e.isFinal, 'final ');
       _sink.writeIf(e.isConst, 'const ');
+      _sink.writeIf(e.hasImplicitType, 'hasImplicitType ');
       _sink.writeIf(e.hasInitializer, 'hasInitializer ');
 
       _writeElementName(e);