[element model] migrate type_init_formals

See: https://github.com/dart-lang/linter/issues/5099

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

Author: pq

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

@@ -4088,10 +4088,10 @@ class FieldFormalParameterElementImpl2 extends FormalParameterElementImpl
   FieldFormalParameterElementImpl2(super.firstFragment);
 
   @override
-  FieldElement2? get field2 =>
-      ((firstFragment as FieldFormalParameterElementImpl).field
-              as FieldFragment)
-          .element;
+  FieldElement2? get field2 => switch (firstFragment) {
+        FieldFormalParameterElementImpl(:FieldFragment field) => field.element,
+        _ => null,
+      };
 }
 
 class FormalParameterElementImpl extends PromotableElementImpl2
@@ -9724,10 +9724,17 @@ class SuperFormalParameterElementImpl2 extends FormalParameterElementImpl
   SuperFormalParameterElementImpl2(super.firstFragment);
 
   @override
-  FormalParameterElement? get superConstructorParameter2 =>
-      ((firstFragment as SuperFormalParameterElementImpl)
-              .superConstructorParameter as FormalParameterFragment?)
-          ?.element;
+  FormalParameterElement? get superConstructorParameter2 {
+    var superConstructorParameter =
+        (firstFragment as SuperFormalParameterElementImpl)
+            .superConstructorParameter;
+    return switch (superConstructorParameter) {
+      ParameterMember() =>
+        superConstructorParameter.asElement2 as FormalParameterElement?,
+      FormalParameterFragment()? => superConstructorParameter.element,
+      _ => null,
+    };
+  }
 }
 
 class TopLevelFunctionElementImpl extends ExecutableElementImpl2

pkg/linter/analyzer_use_new_elements.txt

@@ -167,6 +167,7 @@ lib/src/rules/test_types_in_equals.dart
 lib/src/rules/throw_in_finally.dart
 lib/src/rules/tighten_type_of_initializing_formals.dart
 lib/src/rules/type_annotate_public_apis.dart
+lib/src/rules/type_init_formals.dart
 lib/src/rules/type_literal_in_constant_pattern.dart
 lib/src/rules/unintended_html_in_doc_comment.dart
 lib/src/rules/unnecessary_await_in_return.dart

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

@@ -4,7 +4,7 @@
 
 import 'package:analyzer/dart/ast/ast.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';
 
@@ -39,10 +39,10 @@ class _Visitor extends SimpleAstVisitor<void> {
     var nodeType = node.type;
     if (nodeType == null) return;
 
-    var paramElement = node.declaredElement;
-    if (paramElement is! FieldFormalParameterElement) return;
+    var paramElement = node.declaredFragment?.element;
+    if (paramElement is! FieldFormalParameterElement2) return;
 
-    var field = paramElement.field;
+    var field = paramElement.field2;
     // If no such field exists, the code is invalid; do not report lint.
     if (field != null && nodeType.type == field.type) {
       rule.reportLint(nodeType);
@@ -54,10 +54,10 @@ class _Visitor extends SimpleAstVisitor<void> {
     var nodeType = node.type;
     if (nodeType == null) return;
 
-    var paramElement = node.declaredElement;
-    if (paramElement is! SuperFormalParameterElement) return;
+    var paramElement = node.declaredFragment?.element;
+    if (paramElement is! SuperFormalParameterElement2) return;
 
-    var superConstructorParameter = paramElement.superConstructorParameter;
+    var superConstructorParameter = paramElement.superConstructorParameter2;
     if (superConstructorParameter == null) return;
 
     if (superConstructorParameter.type == nodeType.type) {