Add type inference for super method invocations.

pkg/front_end/lib/src/fasta/kernel/frontend_accessors.dart

 // Copyright (c) 2016, 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.
 
 /// A library to help transform compounds and null-aware accessors into
 /// let expressions.
 
 import 'package:front_end/src/fasta/kernel/kernel_shadow_ast.dart'
     show
         KernelArguments,
@@ skipping 493 matching lines @@
 class ThisIndexAccessor extends Accessor {
   Expression index;
   VariableDeclaration indexVariable;
   Procedure getter, setter;
 
   ThisIndexAccessor(
       BuilderHelper helper, this.index, this.getter, this.setter, Token token)
       : super(helper, token);
 
   Expression _makeSimpleRead() {
-    return new KernelMethodInvocation(new ThisExpression(), indexGetName,
+    return new KernelMethodInvocation(new KernelThisExpression(), indexGetName,
         new KernelArguments(<Expression>[index]),
         interfaceTarget: getter);
   }
 
   Expression _makeSimpleWrite(Expression value, bool voidContext,
       KernelComplexAssignment complexAssignment) {
     if (!voidContext) return _makeWriteAndReturn(value, complexAssignment);
-    var write = new KernelMethodInvocation(new ThisExpression(), indexSetName,
-        new KernelArguments(<Expression>[index, value]),
+    var write = new KernelMethodInvocation(new KernelThisExpression(),
+        indexSetName, new KernelArguments(<Expression>[index, value]),
         interfaceTarget: setter)
       ..fileOffset = offsetForToken(token);
     complexAssignment?.write = write;
     return write;
   }
 
   indexAccess() {
     indexVariable ??= new VariableDeclaration.forValue(index);
     return new VariableGet(indexVariable);
   }
 
   Expression _makeRead(KernelComplexAssignment complexAssignment) {
-    var read = new KernelMethodInvocation(new ThisExpression(), indexGetName,
-        new KernelArguments(<Expression>[indexAccess()]),
+    var read = new KernelMethodInvocation(new KernelThisExpression(),
+        indexGetName, new KernelArguments(<Expression>[indexAccess()]),
         interfaceTarget: getter)
       ..fileOffset = offsetForToken(token);
     complexAssignment?.read = read;
     return read;
   }
 
   Expression _makeWrite(Expression value, bool voidContext,
       KernelComplexAssignment complexAssignment) {
     if (!voidContext) return _makeWriteAndReturn(value, complexAssignment);
-    var write = new KernelMethodInvocation(new ThisExpression(), indexSetName,
-        new KernelArguments(<Expression>[indexAccess(), value]),
+    var write = new KernelMethodInvocation(new KernelThisExpression(),
+        indexSetName, new KernelArguments(<Expression>[indexAccess(), value]),
         interfaceTarget: setter)
       ..fileOffset = offsetForToken(token);
     complexAssignment?.write = write;
     return write;
   }
 
   _makeWriteAndReturn(
       Expression value, KernelComplexAssignment complexAssignment) {
     var valueVariable = new VariableDeclaration.forValue(value);
     var write = new KernelMethodInvocation(
-        new ThisExpression(),
+        new KernelThisExpression(),
         indexSetName,
         new KernelArguments(
             <Expression>[indexAccess(), new VariableGet(valueVariable)]),
         interfaceTarget: setter)
       ..fileOffset = offsetForToken(token);
     complexAssignment?.write = write;
     var dummy = new VariableDeclaration.forValue(write);
     return makeLet(
         valueVariable, makeLet(dummy, new VariableGet(valueVariable)));
   }
@@ skipping 153 matching lines @@
 
 Expression buildIsNull(Expression value, int offset) {
   return makeBinary(value, equalsName, null, new NullLiteral(), offset: offset);
 }
 
 VariableDeclaration makeOrReuseVariable(Expression value) {
   // TODO: Devise a way to remember if a variable declaration was reused
   // or is fresh (hence needs a let binding).
   return new VariableDeclaration.forValue(value);
 }