Add type inference for super method invocations.

pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.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 file.
 
 /// This file declares a "shadow hierarchy" of concrete classes which extend
 /// the kernel class hierarchy, adding methods and fields needed by the
 /// BodyBuilder.
 ///
 /// Instances of these classes may be created using the factory methods in
 /// `ast_factory.dart`.
@@ skipping 492 matching lines @@
   }
 }
 
 /// Shadow object for [DirectMethodInvocation].
 class KernelDirectMethodInvocation extends DirectMethodInvocation
     implements KernelExpression {
   KernelDirectMethodInvocation(
       Expression receiver, Procedure target, Arguments arguments)
       : super(receiver, target, arguments);
 
-  KernelDirectMethodInvocation.byReference(
-      Expression receiver, Reference targetReference, Arguments arguments)
-      : super.byReference(receiver, targetReference, arguments);
-
   @override
   void _collectDependencies(KernelDependencyCollector collector) {
-    // TODO(paulberry): Determine the right thing to do here.
-    throw 'TODO(paulberry)';
+    // DirectMethodInvocation can only occur as a result of a use of `super`,
+    // and `super` can't appear inside a field initializer.  So this code should
+    // never be reached.
+    internalError(
+        'Unexpected call to _collectDependencies for DirectMethodInvocation');
   }
 
   @override
   DartType _inferExpression(
       KernelTypeInferrer inferrer, DartType typeContext, bool typeNeeded) {
-    // TODO(scheglov): implement.
-    return typeNeeded ? const DynamicType() : null;
+    inferrer.instrumentation?.record(Uri.parse(inferrer.uri), fileOffset,
+        'target', new InstrumentationValueForMember(target));
+    return inferrer.inferMethodInvocation(
+        this, receiver, fileOffset, false, typeContext, typeNeeded,
+        interfaceMember: target, methodName: target.name, arguments: arguments);
   }
 }
 
 /// Shadow object for [DirectPropertyGet].
 class KernelDirectPropertyGet extends DirectPropertyGet
     implements KernelExpression {
   KernelDirectPropertyGet(Expression receiver, Member target)
       : super(receiver, target);
 
   KernelDirectPropertyGet.byReference(
@@ skipping 721 matching lines @@
     // receiver.
     collector.collectDependencies(receiver);
     if (isOverloadableArithmeticOperator(name.name)) {
       collector.collectDependencies(arguments.positional[0]);
     }
   }
 
   @override
   DartType _inferExpression(
       KernelTypeInferrer inferrer, DartType typeContext, bool typeNeeded) {
-    return inferrer.inferMethodInvocation(this, receiver, fileOffset, this,
-        _isImplicitCall, typeContext, typeNeeded);
+    return inferrer.inferMethodInvocation(
+        this, receiver, fileOffset, _isImplicitCall, typeContext, typeNeeded,
+        desugaredInvocation: this);
   }
 }
 
 /// Shadow object for [Not].
 class KernelNot extends Not implements KernelExpression {
   KernelNot(Expression operand) : super(operand);
 
   @override
   void _collectDependencies(KernelDependencyCollector collector) {
     collector.collectDependencies(operand);
@@ skipping 33 matching lines @@
     collector.recordNotImmediatelyEvident(fileOffset);
   }
 
   @override
   DartType _inferExpression(
       KernelTypeInferrer inferrer, DartType typeContext, bool typeNeeded) {
     var inferredType = inferrer.inferMethodInvocation(
         this,
         variable.initializer,
         fileOffset,
-        _desugaredInvocation,
         false,
         typeContext,
         typeNeeded || inferrer.strongMode,
-        receiverVariable: variable);
+        receiverVariable: variable,
+        desugaredInvocation: _desugaredInvocation);
     if (inferrer.strongMode) {
       body.staticType = inferredType;
     }
     return inferredType;
   }
 }
 
 /// Concrete shadow object representing a null-aware read from a property.
 ///
 /// A null-aware property get of the form `a?.b` is represented as the kernel
@@ skipping 441 matching lines @@
   @override
   void _collectDependencies(KernelDependencyCollector collector) {
     // Super expressions should never occur in top level type inference.
     // TODO(paulberry): but could they occur due to invalid code?
     assert(false);
   }
 
   @override
   DartType _inferExpression(
       KernelTypeInferrer inferrer, DartType typeContext, bool typeNeeded) {
-    // TODO(scheglov): implement.
-    return typeNeeded ? const DynamicType() : null;
+    inferrer.instrumentation?.record(Uri.parse(inferrer.uri), fileOffset,
+        'target', new InstrumentationValueForMember(interfaceTarget));
+    return inferrer.inferMethodInvocation(this, new KernelThisExpression(),
+        fileOffset, false, typeContext, typeNeeded,
+        interfaceMember: interfaceTarget,
+        methodName: name,
+        arguments: arguments);
   }
 }
 
 /// Shadow object for [SuperPropertyGet].
 class KernelSuperPropertyGet extends SuperPropertyGet
     implements KernelExpression {
   KernelSuperPropertyGet(Name name, [Member interfaceTarget])
       : super(name, interfaceTarget);
 
   KernelSuperPropertyGet.byReference(
@@ skipping 502 matching lines @@
   }
 
   transformChildren(v) {
     return internalError("Internal error: Unsupported operation.");
   }
 
   visitChildren(v) {
     return internalError("Internal error: Unsupported operation.");
   }
 }