Elements. Migrate test/src/summary/elements/type_alias_test.dart

Write hasImplicitType flag for formal parmeters.

Change-Id: I6434abdf376c3ef3dac163370853b06a2f366ace
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/402885
Reviewed-by: Brian Wilkerson <[email protected]>
Commit-Queue: Konstantin Shcheglov <[email protected]>

Author: scheglov

pkg/analyzer/analyzer_use_new_elements.txt

@@ -194,7 +194,6 @@ test/src/summary/elements/enum_test.dart
 test/src/summary/elements/extension_type_test.dart
 test/src/summary/elements/metadata_test.dart
 test/src/summary/elements/top_level_variable_test.dart
-test/src/summary/elements/type_alias_test.dart
 test/src/summary/elements/type_inference_test.dart
 test/src/summary/elements_base.dart
 test/src/summary/macro_test.dart

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

@@ -635,6 +635,7 @@ class _Element2Writer extends _AbstractElementWriter {
       _sink.writeIf(e.isConst, 'const ');
       _sink.writeIf(e.isCovariant, 'covariant ');
       _sink.writeIf(e.isFinal, 'final ');
+      _sink.writeIf(e.hasImplicitType, 'hasImplicitType ');
 
       if (e is FieldFormalParameterElement) {
         _sink.write('this.');
@@ -2118,6 +2119,15 @@ class _ElementWriter extends _AbstractElementWriter {
     });
   }
 
+  void _assertEnclosingElement<E extends Element>(
+    Iterable<E> elements,
+    Element enclosingElement,
+  ) {
+    for (var element in elements) {
+      expect(element.enclosingElement3, same(enclosingElement));
+    }
+  }
+
   void _assertNonSyntheticElementSelf(Element element) {
     expect(element.isSynthetic, isFalse);
     expect(element.nonSynthetic, same(element));
@@ -3032,6 +3042,7 @@ class _ElementWriter extends _AbstractElementWriter {
       _sink.writeIf(e.isConst, 'const ');
       _sink.writeIf(e.isCovariant, 'covariant ');
       _sink.writeIf(e.isFinal, 'final ');
+      _sink.writeIf(e.hasImplicitType, 'hasImplicitType ');
 
       if (e is FieldFormalParameterElement) {
         _sink.write('this.');
@@ -3299,17 +3310,30 @@ class _ElementWriter extends _AbstractElementWriter {
       _writeMetadata(e);
       _writeSinceSdkVersion(e);
       _writeCodeRange(e);
+
+      _assertEnclosingElement(e.typeParameters, e);
       _writeTypeParameterElements(e.typeParameters);
 
       var aliasedType = e.aliasedType;
       _writeType('aliasedType', aliasedType);
 
       var aliasedElement = e.aliasedElement;
       if (aliasedElement is GenericFunctionTypeElementImpl) {
+        expect(aliasedElement.enclosingElement3, same(e));
         _sink.writelnWithIndent('aliasedElement: GenericFunctionTypeElement');
         _sink.withIndent(() {
+          _assertEnclosingElement(
+            aliasedElement.typeParameters,
+            aliasedElement,
+          );
           _writeTypeParameterElements(aliasedElement.typeParameters);
+
+          _assertEnclosingElement(
+            aliasedElement.parameters,
+            aliasedElement,
+          );
           _writeParameterElements(aliasedElement.parameters);
+
           _writeReturnType(aliasedElement.returnType);
         });
       }