Remove type parameters from type promotion classes.

pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart

Index: pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart
diff --git a/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart b/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart
index e93df1060c0ed5d1e433a9a57c89514173149b2a..16ef20b272994411678fe826060d4e9d3f770f91 100644
--- a/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart
+++ b/pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart
@@ -29,7 +29,6 @@ import 'package:kernel/ast.dart'
         ProcedureKind,
         Statement,
         TypeParameterType,
-        VariableDeclaration,
         VoidType;
 import 'package:kernel/class_hierarchy.dart';
 import 'package:kernel/core_types.dart';
@@ -162,7 +161,7 @@ class ClosureContext {
 abstract class TypeInferrer {
   /// Gets the [TypePromoter] that can be used to perform type promotion within
   /// this method body or initializer.
-  TypePromoter<Expression, VariableDeclaration> get typePromoter;
+  TypePromoter get typePromoter;
 
   /// The URI of the code for which type inference is currently being
   /// performed--this is used for testing.
@@ -233,7 +232,7 @@ abstract class TypeInferrerImpl extends TypeInferrer {
 
   /// Gets the type promoter that should be used to promote types during
   /// inference.
-  TypePromoter<Expression, VariableDeclaration> get typePromoter;
+  TypePromoter get typePromoter;
 
   FunctionType getCalleeFunctionType(
       Member interfaceMember, DartType receiverType, Name methodName) {