anchor.diff:          // TODO(vsm): When can this happen?
           assert(element != null);
         }
  -      DartType expectedType = _rules.mapGenericType(_rules.elementType(element));
  -      if (expectedType == null)
  -        expectedType = _rules.provider.dynamicType;
  +      DartType expectedType = _rules
  +          .mapGenericType(_rules.elementType(element));
  +      if (expectedType == null) expectedType = _rules.provider.dynamicType;
         checkAssignment(arg, expectedType);
       }
       return true;
     }
   
  -  void checkFunctionApplication(Expression node, Expression f, ArgumentList list) {
  +  void checkFunctionApplication(
  +      Expression node, Expression f, ArgumentList list) {
       DartType type = _rules.getStaticType(f);
       if (type.isDynamic || type.isDartCoreFunction) {
         record(new DynamicInvoke(_rules, node));
  
positive.code: 
    bool record(StaticInfo info) {
      if (info != null) {
        if (info.level >= logger.Level.SEVERE)
          failure = true;
        if (!infoMap.containsKey(info.node))
          infoMap[info.node] = new List<StaticInfo>();
        infoMap[info.node].add(info);
        log.log(info.level, info.message, info.node);
        return true;
  
negative.code: 
    DartType boxedType(DartType t) {
      assert(isBoxable(t));
      if (t == provider.boolType) return provider.objectType;
      if (t == provider.intType || t == provider.doubleType) {
        return primitiveNum ? provider.objectType : provider.numType;
      }
      if (primitiveNum && t == provider.numType) return provider.objectType;
      assert(false);
      return null;
    }
  