hphp/hack/test/typecheck/iface_require_incompat4.php.like_types.exp

   1 File "iface_require_incompat4.php", line 15, characters 11-12:
   2 Class I3 does not correctly implement all required members  (Typing[4340])
   3 File "iface_require_incompat4.php", line 15, characters 26-27:
   4 Some members are incompatible with those declared in type I2
   5 Read the following to see why:
   6 File "iface_require_incompat4.php", line 4, characters 10-11:
   7 Member x has the wrong type
   8 File "iface_require_incompat4.php", line 4, characters 10-11:
   9 Typing error
  10 File "iface_require_incompat4.php", line 12, characters 25-29:
  11 Expected float
  12 File "iface_require_incompat4.php", line 4, characters 11-11:
  13   via this generic T
  14 File "iface_require_incompat4.php", line 8, characters 25-27:
  15 But got int
  16 File "iface_require_incompat4.php", line 4, characters 11-11:
  17   via this generic T