Elements. Migrate src/dart/element/type_algebra.dart

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

Author: scheglov

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

@@ -1743,7 +1743,7 @@ class _SubstitutedTypeParameters {
 
     // Create type formals with specialized bounds.
     // For example `<U extends T>` where T comes from an outer scope.
-    var newElements = <TypeParameterElement>[];
+    var newElements = <TypeParameterElementImpl>[];
     var newTypes = <TypeParameterType>[];
     for (int i = 0; i < elements.length; i++) {
       var element = elements[i];
@@ -1757,10 +1757,11 @@ class _SubstitutedTypeParameters {
     }
 
     // Update bounds to reference new TypeParameterElement(s).
-    var substitution2 = Substitution.fromPairs(elements, newTypes);
+    // TODO(scheglov): remove the cast
+    var substitution2 = Substitution.fromPairs(elements.cast(), newTypes);
     for (int i = 0; i < newElements.length; i++) {
       var element = elements[i];
-      var newElement = newElements[i] as TypeParameterElementImpl;
+      var newElement = newElements[i];
       var bound = element.bound;
       if (bound != null) {
         var newBound = substitution2.substituteType(bound);

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

@@ -2,9 +2,6 @@
 // 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.
 
-// ignore_for_file: analyzer_use_new_elements
-
-import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/dart/element/element2.dart';
 import 'package:analyzer/dart/element/nullability_suffix.dart';
 import 'package:analyzer/dart/element/type.dart';
@@ -204,7 +201,7 @@ abstract class Substitution {
   /// Substitutes the Nth parameter in [parameters] with the Nth type in
   /// [types].
   static MapSubstitution fromPairs(
-    List<TypeParameterElement> parameters,
+    List<TypeParameterElementImpl> parameters,
     List<DartType> types,
   ) {
     return fromPairs2(parameters.map((p) => p.asElement2).toFixedList(), types);