Fine. Add tracking annotations for TypeAliasElementImpl.

Change-Id: I182cd5cf05a1695ca15c4cd155cebbaa7d724b5e
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/449062
Reviewed-by: Johnni Winther <[email protected]>
Commit-Queue: Konstantin Shcheglov <[email protected]>

Author: scheglov

pkg/analyzer/lib/src/dart/element/element.dart

@@ -9986,10 +9986,12 @@ class TopLevelVariableFragmentImpl extends PropertyInducingFragmentImpl
   }
 }
 
+@elementClass
 class TypeAliasElementImpl extends ElementImpl
     with DeferredResolutionReadingMixin
     implements TypeAliasElement {
   @override
+  @trackedIncludedInId
   final Reference reference;
 
   @override
@@ -10003,6 +10005,7 @@ class TypeAliasElementImpl extends ElementImpl
   }
 
   @override
+  @trackedIncludedInId
   ElementImpl? get aliasedElement {
     switch (_firstFragment.aliasedElement) {
       case InstanceFragmentImpl instance:
@@ -10015,11 +10018,13 @@ class TypeAliasElementImpl extends ElementImpl
 
   @Deprecated('Use aliasedElement instead')
   @override
+  @trackedIndirectly
   Element? get aliasedElement2 {
     return aliasedElement;
   }
 
   @override
+  @trackedIncludedInId
   TypeImpl get aliasedType {
     _ensureReadResolution();
     return _aliasedType!;
@@ -10032,39 +10037,44 @@ class TypeAliasElementImpl extends ElementImpl
   }
 
   /// The aliased type, might be `null` if not yet linked.
+  @trackedInternal
   TypeImpl? get aliasedTypeRaw => _aliasedType;
 
   @override
+  @trackedIncludedInId
   TypeAliasElementImpl get baseElement => this;
 
   @override
+  @trackedIncludedInId
   LibraryElementImpl get enclosingElement => library;
 
   @Deprecated('Use enclosingElement instead')
   @override
+  @trackedIndirectly
   LibraryElement get enclosingElement2 => enclosingElement;
 
   @override
-  TypeAliasFragmentImpl get firstFragment => _firstFragment;
+  @trackedDirectlyOpaque
+  TypeAliasFragmentImpl get firstFragment {
+    globalResultRequirements?.recordOpaqueApiUse(this, 'firstFragment');
+    return _firstFragment;
+  }
 
   @override
+  @trackedDirectlyOpaque
   List<TypeAliasFragmentImpl> get fragments {
-    return [
-      for (
-        TypeAliasFragmentImpl? fragment = _firstFragment;
-        fragment != null;
-        fragment = fragment.nextFragment
-      )
-        fragment,
-    ];
+    globalResultRequirements?.recordOpaqueApiUse(this, 'fragments');
+    return _fragments;
   }
 
+  @trackedIncludedInId
   bool get isNonFunctionTypeAliasesEnabled {
     return library.featureSet.isEnabled(Feature.nonfunction_type_aliases);
   }
 
   /// Whether this alias is a "proper rename" of [aliasedType], as defined in
   /// the constructor-tearoffs specification.
+  @trackedIndirectly
   bool get isProperRename {
     var aliasedType_ = aliasedType;
     if (aliasedType_ is! InterfaceTypeImpl) {
@@ -10106,21 +10116,26 @@ class TypeAliasElementImpl extends ElementImpl
   }
 
   @override
+  @trackedIncludedInId
   bool get isSynthetic {
     return _firstFragment.isSynthetic;
   }
 
   @override
+  @trackedIncludedInId
   ElementKind get kind => ElementKind.TYPE_ALIAS;
 
   @override
+  @trackedIncludedInId
   LibraryElementImpl get library => super.library!;
 
   @Deprecated('Use library instead')
   @override
+  @trackedIndirectly
   LibraryElementImpl get library2 => library;
 
   @override
+  @trackedIncludedInId
   MetadataImpl get metadata {
     var annotations = <ElementAnnotationImpl>[];
     for (var fragment in _fragments) {
@@ -10131,16 +10146,20 @@ class TypeAliasElementImpl extends ElementImpl
 
   @Deprecated('Use metadata instead')
   @override
+  @trackedIndirectly
   MetadataImpl get metadata2 => metadata;
 
   @override
+  @trackedIncludedInId
   String? get name => _firstFragment.name;
 
   @Deprecated('Use name instead')
   @override
+  @trackedIndirectly
   String? get name3 => name;
 
   @override
+  @trackedIncludedInId
   List<TypeParameterElementImpl> get typeParameters {
     return _firstFragment.typeParameters
         .map((fragment) => fragment.element)
@@ -10149,34 +10168,40 @@ class TypeAliasElementImpl extends ElementImpl
 
   @Deprecated('Use typeParameters instead')
   @override
+  @trackedIndirectly
   List<TypeParameterElementImpl> get typeParameters2 => typeParameters;
 
-  /// A list of all of the fragments from which this element is composed.
   List<TypeAliasFragmentImpl> get _fragments {
-    var result = <TypeAliasFragmentImpl>[];
-    TypeAliasFragmentImpl? current = _firstFragment;
-    while (current != null) {
-      result.add(current);
-      current = current.nextFragment;
-    }
-    return result;
+    return [
+      for (
+        TypeAliasFragmentImpl? fragment = _firstFragment;
+        fragment != null;
+        fragment = fragment.nextFragment
+      )
+        fragment,
+    ];
   }
 
   @override
+  @trackedDirectlyOpaque
   T? accept<T>(ElementVisitor2<T> visitor) {
+    globalResultRequirements?.recordOpaqueApiUse(this, 'accept');
     return visitor.visitTypeAliasElement(this);
   }
 
   @Deprecated('Use accept instead')
   @override
+  @trackedIndirectly
   T? accept2<T>(ElementVisitor2<T> visitor) => accept(visitor);
 
   @override
+  @trackedIndirectly
   void appendTo(ElementDisplayStringBuilder builder) {
     builder.writeTypeAliasElement(this);
   }
 
   @override
+  @trackedIndirectly
   TypeImpl instantiate({
     required List<DartType> typeArguments,
     required NullabilitySuffix nullabilitySuffix,
@@ -10187,6 +10212,7 @@ class TypeAliasElementImpl extends ElementImpl
     );
   }
 
+  @trackedIndirectly
   TypeImpl instantiateImpl({
     required List<TypeImpl> typeArguments,
     required NullabilitySuffix nullabilitySuffix,

pkg/analyzer/lib/src/summary2/named_type_builder.dart

@@ -259,13 +259,13 @@ class NamedTypeBuilder extends TypeBuilder {
   }
 
   TypeImpl _getAliasedType(TypeAliasElementImpl element) {
-    var typedefNode = linker.getLinkingNode2(element.firstFragment);
-
     // If the element is not being linked, the types have already been built.
-    if (typedefNode == null) {
+    if (!linker.isLinkingElement(element)) {
       return element.aliasedType;
     }
 
+    var typedefNode = linker.getLinkingNode2(element.firstFragment)!;
+
     // Break a possible recursion.
     var existing = element.aliasedTypeRaw;
     if (existing != null) {