Flow analysis: always supply a type parameter for FunctionBodyAccess.

stereotype441 · commit-bot@chromium.org · commit 507f40436195 · 2019-07-20T05:01:43.000Z
This reduces the risk of mistakes and avoids downcasts. Change-Id: I98f021e0dd6754ee499a08aabe4fee00d17501ac Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/109744 Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
diff --git a/pkg/analyzer/lib/src/dart/resolver/flow_analysis.dart b/pkg/analyzer/lib/src/dart/resolver/flow_analysis.dart
@@ -50,7 +50,7 @@ class FlowAnalysis<Statement, Expression, Variable, Type> {
   final TypeOperations<Variable, Type> typeOperations;
 
   /// The enclosing function body, used to check for potential mutations.
-  final FunctionBodyAccess functionBody;
+  final FunctionBodyAccess<Variable> functionBody;
 
   /// The stack of states of variables that are not definitely assigned.
   final List<_State<Variable, Type>> _stack = [];
@@ -78,7 +78,7 @@ class FlowAnalysis<Statement, Expression, Variable, Type> {
   factory FlowAnalysis(
     NodeOperations<Expression> nodeOperations,
     TypeOperations<Variable, Type> typeOperations,
-    FunctionBodyAccess functionBody,
+    FunctionBodyAccess<Variable> functionBody,
   ) {
     var emptySet = _VariableSet<Variable>._(
       List<Variable>(0),
