hphp/hack/test/typecheck/error_messages/num.php.exp

   1 File "num.php", line 9, characters 10-15:
   2 Invalid return type (Typing[4110])
   3 File "num.php", line 3, characters 23-28:
   4 This is a string
   5 File "num.php", line 9, characters 10-15:
   6 It is incompatible with a num (int | float) because this is the result of an arithmetic operation with a num as the second argument, and no floats.
   7 File "num.php", line 3, characters 14-16:
   8 Here is why I think the argument is a num: this is a num