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

   1 File "gen4.php", line 18, characters 7-7:
   2 Class B does not correctly implement all required methods  (Typing[4110])
   3 File "gen4.php", line 18, characters 17-17:
   4 Some methods are incompatible with those declared in type A
   5 Read the following to see why:
   6 File "gen4.php", line 20, characters 19-21:
   7 Member foo has the wrong type
   8 File "", line 0, characters 0--1:
   9 Some type constraint(s) here are violated
  10 File "gen4.php", line 20, characters 23-23:
  11 'T' is a constrained type parameter
  12 File "gen4.php", line 20, characters 28-28:
  13 This is an object of type B
  14 File "gen4.php", line 13, characters 28-28:
  15 It is incompatible with an object of type A