anchor.diff:  
     void functionDeclaration(
         covariant VariableDeclarationBinder binder, FunctionType inferredType) {
  -    _store(binder.fileOffset as Location, inferredType: inferredType);
  -  }
  -
  -  void functionExpression(ExpressionJudgment judgment, Location location,
  -          DartType inferredType) =>
  +    _store(binder.fileOffset, inferredType: inferredType);
  +  }
  +
  +  void functionExpression(
  +          ExpressionJudgment judgment, int location, DartType inferredType) =>
         genericExpression("functionExpression", location, inferredType);
   
     void genericExpression(
  -      String expressionType, Location location, DartType inferredType) {
  +      String expressionType, int location, DartType inferredType) {
       _store(location, inferredType: inferredType);
     }
   
  -  void ifNull(ExpressionJudgment judgment, Location location, void leftOperand,
  +  void ifNull(ExpressionJudgment judgment, int location, void leftOperand,
             Token operator, void rightOperand, DartType inferredType) =>
         genericExpression('ifNull', location, inferredType);
   
     void ifStatement(
         StatementJudgment judgment,
  -      Location location,
  +      int location,
         Token ifKeyword,
         Token leftParenthesis,
         void condition,
  
positive.code: 
    void mapLiteral(
            ExpressionJudgment judgment,
            Location location,
            Token constKeyword,
            Object typeArguments,
            Token leftBracket,
  
negative.code:         inferredType: inferredType);
    }
  
    void storeClassReference(int location, Node reference, DartType rawType) {
      // TODO(paulberry): would it be better to use literalType?
      _store(location, reference: reference, inferredType: rawType);
    }
  
    void storePrefixInfo(int location, int prefixInfo) {
      _store(location, prefixInfo: prefixInfo);
    }
  
    void stringConcatenation(
        ExpressionJudgment judgment, int location, DartType inferredType) {
      // We don't need the type - we already know that it is String.
      // Moreover, the file offset for StringConcatenation is `-1`.
    }
  
    void stringLiteral(ExpressionJudgment judgment, int location, Token literal,
            String value, DartType inferredType) =>
        genericExpression("StringLiteral", location, inferredType);
  
    void superInitializer(
        InitializerJudgment judgment,
        int location,
        Token superKeyword,
        Token period,
        Token constructorName,
  