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

   1 File "contravariance_bad1.php", line 39, characters 10-11:
   2 Invalid return type (Typing[4110])
   3 File "contravariance_bad1.php", line 33, characters 16-16:
   4 This is an object of type A
   5 File "contravariance_bad1.php", line 16, characters 46-46:
   6   via this generic T
   7 File "contravariance_bad1.php", line 30, characters 30-30:
   8 It is incompatible with an object of type B
   9 File "contravariance_bad1.php", line 30, characters 30-30:
  10 Considering that this type argument is contravariant with respect to ISettable