Implement type inference for super initializers.

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

 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
 import 'package:front_end/src/fasta/type_inference/type_inference_engine.dart';
 import 'package:kernel/ast.dart';
 
 /// Base class for [TypeInferenceListener] that defines the API for debugging.
 ///
 /// By default no debug info is printed.  To enable debug printing, mix in
@@ skipping 340 matching lines @@
   void stringConcatenationExit(
           StringConcatenation expression, DartType inferredType) =>
       genericExpressionExit("stringConcatenation", expression, inferredType);
 
   bool stringLiteralEnter(StringLiteral expression, DartType typeContext) =>
       genericExpressionEnter("StringLiteral", expression, typeContext);
 
   void stringLiteralExit(StringLiteral expression, DartType inferredType) =>
       genericExpressionExit("StringLiteral", expression, inferredType);
 
+  void superInitializerEnter(SuperInitializer initializer) =>
+      genericInitializerEnter("superInitializer", initializer);
+
+  void superInitializerExit(SuperInitializer initializer) =>
+      genericInitializerExit("superInitializer", initializer);
+
   void switchStatementEnter(SwitchStatement statement) =>
       genericStatementEnter('switchStatement', statement);
 
   void switchStatementExit(SwitchStatement statement) =>
       genericStatementExit('switchStatement', statement);
 
   bool symbolLiteralEnter(SymbolLiteral expression, DartType typeContext) =>
       genericExpressionEnter("symbolLiteral", expression, typeContext);
 
   void symbolLiteralExit(SymbolLiteral expression, DartType inferredType) =>
@@ skipping 58 matching lines @@
 
   void whileStatementExit(WhileStatement statement) =>
       genericStatementExit("whileStatement", statement);
 
   void yieldStatementEnter(YieldStatement statement) =>
       genericStatementEnter('yieldStatement', statement);
 
   void yieldStatementExit(YieldStatement statement) =>
       genericStatementExit('yieldStatement', statement);
 }