Elements. Migrate verifySuperFormalParameters()

Change-Id: I1ce336a406a8bcb1fcc1446b03c0f7c9473cb00a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/395045
Commit-Queue: Konstantin Shcheglov <[email protected]>
Reviewed-by: Phil Quitslund <[email protected]>

Author: scheglov

pkg/analyzer/analyzer_use_new_elements.txt

@@ -117,7 +117,6 @@ lib/src/error/must_call_super_verifier.dart
 lib/src/error/nullable_dereference_verifier.dart
 lib/src/error/override_verifier.dart
 lib/src/error/required_parameters_verifier.dart
-lib/src/error/super_formal_parameters_verifier.dart
 lib/src/error/type_arguments_verifier.dart
 lib/src/error/unused_local_elements_verifier.dart
 lib/src/error/use_result_verifier.dart

pkg/analyzer/lib/src/error/super_formal_parameters_verifier.dart

@@ -2,10 +2,9 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
-import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/error/listener.dart';
+import 'package:analyzer/src/dart/ast/ast.dart';
 import 'package:analyzer/src/dart/ast/extensions.dart';
-import 'package:analyzer/src/dart/element/element.dart';
 import 'package:analyzer/src/error/codes.dart';
 
 VerifySuperFormalParametersResult verifySuperFormalParameters({
@@ -16,11 +15,13 @@ VerifySuperFormalParametersResult verifySuperFormalParameters({
   var result = VerifySuperFormalParametersResult();
   for (var parameter in constructor.parameters.parameters) {
     parameter = parameter.notDefault;
-    if (parameter is SuperFormalParameter) {
-      var parameterElement =
-          parameter.declaredElement as SuperFormalParameterElementImpl;
+    if (parameter is SuperFormalParameterImpl) {
+      var declaredFragment = parameter.declaredFragment!;
       if (parameter.isNamed) {
-        result.namedArgumentNames.add(parameterElement.name);
+        var name = declaredFragment.name2;
+        if (name != null) {
+          result.namedArgumentNames.add(name);
+        }
       } else {
         result.positionalArgumentCount++;
         if (hasExplicitPositionalArguments) {