anchor.diff:    }
   
     void test_infer_binary_doubleDouble() {
  +    // TODO(paulberry): the warnings below seem like a bug.
       checkFile(r'''
   var a_equal = 1.0 == 2.0;
   var a_notEqual = 1.0 != 2.0;
  
positive.code:   }
  
    void test_infer_binary_intDouble() {
      checkFile(r'''
  var a_equal = 1 == 2.0;
  var a_notEqual = 1 != 2.0;
  
negative.code: var a_subtract = 1 - 2.0;
  var a_multiply = 1 * 2.0;
  var a_divide = 1 / 2.0;
  var a_floorDivide = 1 ~/ /*warning:ARGUMENT_TYPE_NOT_ASSIGNABLE*/2.0;
  var a_greater = 1 > 2.0;
  var a_less = 1 < 2.0;
  var a_greaterEqual = 1 >= 2.0;
  var a_lessEqual = 1 <= 2.0;
  var a_modulo = 1 % /*warning:ARGUMENT_TYPE_NOT_ASSIGNABLE*/2.0;
  ''');
    }
  
  