Elements. Migrate lib/src/generated/ffi_verifier.dart

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

Author: scheglov

pkg/analyzer/analyzer_use_new_elements.txt

@@ -107,7 +107,6 @@ lib/src/generated/element_resolver.dart
 lib/src/generated/element_walker.dart
 lib/src/generated/error_verifier.dart
 lib/src/generated/exhaustiveness.dart
-lib/src/generated/ffi_verifier.dart
 lib/src/generated/inference_log.dart
 lib/src/generated/resolver.dart
 lib/src/generated/testing/element_factory.dart

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

@@ -12438,10 +12438,7 @@ final class NamedExpressionImpl extends ExpressionImpl
   @experimental
   @override
   FormalParameterElement? get element2 {
-    if (element case FormalParameterFragment fragment) {
-      return fragment.element;
-    }
-    return null;
+    return element?.asElement2;
   }
 
   @override

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

@@ -166,6 +166,22 @@ class FunctionTypeImpl extends TypeImpl implements FunctionType {
         alias: alias);
   }
 
+  factory FunctionTypeImpl.v2({
+    required List<TypeParameterElement2> typeParameters,
+    required List<FormalParameterElement> formalParameters,
+    required DartType returnType,
+    required NullabilitySuffix nullabilitySuffix,
+    InstantiatedTypeAliasElement? alias,
+  }) {
+    return FunctionTypeImpl(
+      typeFormals: typeParameters.map((e) => e.asElement).toList(),
+      parameters: formalParameters.map((e) => e.asElement).toList(),
+      returnType: returnType,
+      nullabilitySuffix: nullabilitySuffix,
+      alias: alias,
+    );
+  }
+
   FunctionTypeImpl._({
     required this.typeFormals,
     required this.parameters,