[element model] migrate tighten_type_of_initializing_formals

Bug: https://github.com/dart-lang/linter/issues/5099
Change-Id: I8e540237743629b314d1439270b9fc0a33437f48
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/386970
Commit-Queue: Phil Quitslund <[email protected]>
Reviewed-by: Brian Wilkerson <[email protected]>

Author: pq

pkg/linter/lib/src/rules/tighten_type_of_initializing_formals.dart

@@ -5,7 +5,7 @@
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/ast/token.dart';
 import 'package:analyzer/dart/ast/visitor.dart';
-import 'package:analyzer/dart/element/element.dart';
+import 'package:analyzer/dart/element/element2.dart';
 
 import '../analyzer.dart';
 import '../linter_lint_codes.dart';
@@ -51,7 +51,7 @@ class _Visitor extends SimpleAstVisitor<void> {
             var staticType = leftOperand.staticType;
             if (staticType != null &&
                 context.typeSystem.isNullable(staticType)) {
-              _check(leftOperand.staticElement, node);
+              _check(leftOperand.element, node);
             }
           }
         } else if (condition.leftOperand is NullLiteral) {
@@ -60,19 +60,19 @@ class _Visitor extends SimpleAstVisitor<void> {
             var staticType = rightOperand.staticType;
             if (staticType != null &&
                 context.typeSystem.isNullable(staticType)) {
-              _check(rightOperand.staticElement, node);
+              _check(rightOperand.element, node);
             }
           }
         }
       }
     }
   }
 
-  void _check(Element? element, ConstructorDeclaration node) {
-    if (element is FieldFormalParameterElement ||
-        element is SuperFormalParameterElement) {
+  void _check(Element2? element, ConstructorDeclaration node) {
+    if (element is FieldFormalParameterElement2 ||
+        element is SuperFormalParameterElement2) {
       rule.reportLint(node.parameters.parameters
-          .firstWhere((p) => p.declaredElement == element));
+          .firstWhere((p) => p.declaredFragment?.element == element));
     }
   }
 }