hphp/hack/test/typecheck/meth_caller4.php.exp

   1 File "meth_caller4.php", line 23, characters 10-16:
   2 Invalid return type (Typing[4110])
   3 File "meth_caller4.php", line 12, characters 9-9:
   4 This is an int
   5 File "meth_caller4.php", line 18, characters 34-34:
   6 It was implicitly typed as an int during this operation
   7 File "meth_caller4.php", line 20, characters 30-33:
   8 It is incompatible with a bool
   9 File "meth_caller4.php", line 12, characters 9-9:
  10 Considering that this type argument is invariant with respect to X