Elements. Migrate ElementResolver.

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

Author: scheglov

pkg/analyzer/lib/dart/element/type.dart

@@ -439,6 +439,18 @@ abstract class InterfaceType implements ParameterizedType {
   /// </blockquote>
   ConstructorElement? lookUpConstructor(String? name, LibraryElement library);
 
+  /// Return the element representing the constructor that results from looking
+  /// up the constructor with the given [name] in this class with respect to the
+  /// given [library], or `null` if the look up fails. The behavior of this
+  /// method is defined by the Dart Language Specification in section 12.11.1:
+  /// <blockquote>
+  /// If <i>e</i> is of the form <b>new</b> <i>T.id()</i> then let <i>q<i> be
+  /// the constructor <i>T.id</i>, otherwise let <i>q<i> be the constructor
+  /// <i>T<i>. Otherwise, if <i>q</i> is not defined or not accessible, a
+  /// NoSuchMethodException is thrown.
+  /// </blockquote>
+  ConstructorElement2? lookUpConstructor2(String? name, LibraryElement2 library);
+
   /// Return the getter with the given [name].
   ///
   /// If [concrete] is `true`, then the concrete implementation is returned,

pkg/analyzer/lib/src/dart/ast/ast.dart

@@ -325,13 +325,7 @@ final class AnnotationImpl extends AstNodeImpl implements Annotation {
   @experimental
   @override
   Element2? get element2 {
-    var element = this.element;
-    if (element case Fragment fragment) {
-      return fragment.element;
-    } else if (element case Element2 element) {
-      return element;
-    }
-    return null;
+    return element?.asElement2;
   }
 
   @override
@@ -15105,6 +15099,10 @@ final class RedirectingConstructorInvocationImpl
   @override
   ConstructorElement2? get element => staticElement?.asElement2;
 
+  set element(ConstructorElement2? value) {
+    staticElement = value?.asElement;
+  }
+
   @override
   Token get endToken => _argumentList.endToken;
 
@@ -16660,6 +16658,10 @@ final class SuperConstructorInvocationImpl extends ConstructorInitializerImpl
   @override
   ConstructorElement2? get element => staticElement?.asElement2;
 
+  set element(ConstructorElement2? value) {
+    staticElement = value?.asElement;
+  }
+
   @override
   Token get endToken => _argumentList.endToken;
 

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

@@ -1696,10 +1696,13 @@ class ConstructorElementImpl2 extends ExecutableElementImpl2
   }
 
   @override
-  ConstructorElement2? get redirectedConstructor2 =>
-      (firstFragment.redirectedConstructor?.declaration
-              as ConstructorElementImpl?)
-          ?.element;
+  ConstructorElement2? get redirectedConstructor2 {
+    return firstFragment.redirectedConstructor?.asElement2;
+  }
+
+  set redirectedConstructor2(ConstructorElement2? value) {
+    firstFragment.redirectedConstructor = value?.asElement;
+  }
 
   @override
   InterfaceTypeImpl get returnType {
@@ -2322,6 +2325,10 @@ class ElementAnnotationImpl implements ElementAnnotation {
     return element?.asElement2;
   }
 
+  set element2(Element2? value) {
+    element = value?.asElement;
+  }
+
   @override
   bool get isAlwaysThrows => _isPackageMetaGetter(_alwaysThrowsVariableName);
 

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

@@ -987,6 +987,12 @@ class InterfaceTypeImpl extends TypeImpl implements InterfaceType {
     return ConstructorMember.from(constructorElement, this);
   }
 
+  @override
+  ConstructorElement2? lookUpConstructor2(
+      String? constructorName, LibraryElement2 library) {
+    return lookUpConstructor(constructorName, library.asElement)?.asElement2;
+  }
+
   @override
   PropertyAccessorElement? lookUpGetter2(
     String name,

pkg/analyzer/lib/src/dart/resolver/invocation_inferrer.dart

@@ -23,6 +23,7 @@ import 'package:analyzer/src/dart/element/type_system.dart';
 import 'package:analyzer/src/error/codes.dart';
 import 'package:analyzer/src/generated/inference_log.dart';
 import 'package:analyzer/src/generated/resolver.dart';
+import 'package:analyzer/src/utilities/extensions/element.dart';
 
 Set<Object> _computeExplicitlyTypedParameterSet(
     FunctionExpression functionExpression) {
@@ -290,7 +291,7 @@ abstract class FullInvocationInferrer<Node extends AstNodeImpl>
       argumentList.correspondingStaticParameters =
           ResolverVisitor.resolveArgumentsToParameters(
         argumentList: argumentList,
-        parameters: parameters,
+        formalParameters: parameters.map((e) => e.asElement2).toList(),
         errorReporter: resolver.errorReporter,
       );
     }