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

   1 File "test_consts13.php", line 6, characters 7-8:
   2 Class C2 does not correctly implement all required members  (Typing[4110])
   3 File "test_consts13.php", line 6, characters 18-19:
   4 Some members are incompatible with those declared in type C1
   5 Read the following to see why:
   6 File "test_consts13.php", line 4, characters 18-20:
   7 This is an int
   8 File "test_consts13.php", line 7, characters 9-14:
   9 It is incompatible with a string