[analyzer] Use DartPatternImpl when interfacing with shared code

Change the analyzer's use of the following generic types so that it
supplies the type parameter `DartPatternImpl` instead of `DartPattern`
as the type of AST node it uses to represent patterns:

- `MapPatternEntry`
- `MatchContext`
- `TypeAnalyzer`
- `TypeAnalyzerErrors`

This is part of a larger arc of work to change the analyzer's use of
the shared code so that the type parameters it supplies are not part
of the analyzer public API. See
#59763.

Change-Id: I3c8c3b1daf2dc6fbf03024d436e800fefc78bee4
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/403260
Reviewed-by: Konstantin Shcheglov <[email protected]>
Commit-Queue: Paul Berry <[email protected]>

Author: stereotype441

pkg/analyzer/lib/src/dart/resolver/shared_type_analyzer.dart

@@ -27,7 +27,7 @@ class SharedTypeAnalyzerErrors
             ExpressionImpl,
             PromotableElementImpl2,
             SharedTypeView<DartType>,
-            DartPattern,
+            DartPatternImpl,
             void> {
   final ErrorReporter _errorReporter;
 

pkg/analyzer/lib/src/generated/resolver.dart

@@ -98,7 +98,7 @@ import 'package:analyzer/src/utilities/extensions/object.dart';
 bool Function(Source) inferenceLoggingPredicate = (_) => false;
 
 typedef SharedMatchContext = shared.MatchContext<AstNode, ExpressionImpl,
-    DartPattern, SharedTypeView<DartType>, PromotableElementImpl2>;
+    DartPatternImpl, SharedTypeView<DartType>, PromotableElementImpl2>;
 
 typedef SharedPatternField
     = shared.RecordPatternField<PatternFieldImpl, DartPatternImpl>;
@@ -126,7 +126,7 @@ class ResolverVisitor extends ThrowingAstVisitor<void>
             StatementImpl,
             ExpressionImpl,
             PromotableElementImpl2,
-            DartPattern,
+            DartPatternImpl,
             void,
             TypeParameterElementImpl2,
             InterfaceTypeImpl,
@@ -936,7 +936,7 @@ class ResolverVisitor extends ThrowingAstVisitor<void>
   }
 
   @override
-  shared.MapPatternEntry<ExpressionImpl, DartPattern>? getMapPatternEntry(
+  shared.MapPatternEntry<ExpressionImpl, DartPatternImpl>? getMapPatternEntry(
     covariant MapPatternElementImpl element,
   ) {
     if (element is MapPatternEntryImpl) {
@@ -970,7 +970,7 @@ class ResolverVisitor extends ThrowingAstVisitor<void>
   }
 
   @override
-  DartPattern? getRestPatternElementPattern(
+  DartPatternImpl? getRestPatternElementPattern(
     covariant RestPatternElementImpl element,
   ) {
     return element.pattern;