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: var a_subtract = 1.0 - 2;
  var a_multiply = 1.0 * 2;
  var a_divide = 1.0 / 2;
  var a_flootDivide = 1.0 ~/ 2;
  var a_greater = 1.0 > 2;
  var a_less = 1.0 < 2;
  var a_greaterEqual = 1.0 >= 2;
  
negative.code:   }
  
    void test_infer_binary_intDouble() {
      // TODO(paulberry): the warnings below seem like a bug.
      checkFile(r'''
  var a_equal = 1 == 2.0;
  var a_notEqual = 1 != 2.0;
  