anchor.diff:    ast.Member resolveInterfaceGet(Element element, Element auxiliary) {
       if (!strongMode) return null;
       return _resolveGet(element, auxiliary, supportsInterfaceGet);
  +  }
  +
  +  DartType getterTypeOfElement(Element element) {
  +    if (element is VariableElement) {
  +      return element.type;
  +    } else if (element is PropertyAccessorElement && element.isGetter) {
  +      return element.returnType;
  +    } else {
  +      return null;
  +    }
  +  }
  +
  +  /// Returns the interface target of a `call` dispatch to the given member.
  +  ///
  +  /// For example, if the member is a field of type C, the target will be the
  +  /// `call` method of class C, if it has such a method.
  +  ///
  +  /// If the class C has a getter or field named `call`, this method returns
  +  /// `null` - the static type system does support typed calls with indirection.
  +  ast.Member resolveInterfaceFunctionCall(Element element) {
  +    if (!strongMode || element == null) return null;
  +    return resolveInterfaceFunctionCallOnType(getterTypeOfElement(element));
  +  }
  +
  +  /// Returns the `call` method of [callee], if it has one, otherwise `null`.
  +  ast.Member resolveInterfaceFunctionCallOnType(DartType callee) {
  +    return callee is InterfaceType
  +        ? resolveInterfaceMethod(callee.getMethod('call'))
  +        : null;
     }
   
     ast.Member _resolveSet(
  
positive.code:       return new ast.MethodInvocation(
            new ast.PropertyGet(receiver, name, targetGetter),
            callName,
            arguments);
      }
      // Emit a dynamic call.
      return new ast.MethodInvocation(receiver, name, arguments);
  
negative.code:   ast.Expression visitFunctionExpressionInvocation(
        FunctionExpressionInvocation node) {
      return new ast.MethodInvocation(
          build(node.function),
          callName,
          buildArgumentsForInvocation(node),
          scope.resolveInterfaceFunctionCallOnType(node.function.staticType));
    }
  
    visitPrefixedIdentifier(PrefixedIdentifier node) {
  