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

   1 ERROR: File "ambiguous_inheritance.php", line 11, characters 33-34:
   2 Some members in class `C` are incompatible with those declared in type `I2` (Typing[4341])
   3   File "ambiguous_inheritance.php", line 4, characters 19-21:
   4   The method `foo` is not compatible with the overridden method
   5   File "ambiguous_inheritance.php", line 11, characters 33-34:
   6   Some members in class `C` are incompatible with those declared in type `I2`
   7   File "ambiguous_inheritance.php", line 4, characters 19-21:
   8   The method `foo` is not compatible with the overridden method
   9   File "ambiguous_inheritance.php", line 4, characters 19-21:
  10   Method `foo` has type `(function(): mixed)` in `C` and comes from ancestor or trait `I1`
  11   File "ambiguous_inheritance.php", line 8, characters 19-21:
  12   But it has type `(function(): int)` in parent `I2`
  13   File "ambiguous_inheritance.php", line 4, characters 19-21:
  14   Type `(function(): mixed)` is not a subtype of `(function(): int)`
  15   File "ambiguous_inheritance.php", line 8, characters 26-28:
  16   Expected `int`
  17   File "ambiguous_inheritance.php", line 4, characters 26-30:
  18   But got `mixed`
  19   File "ambiguous_inheritance.php", line 4, characters 19-21:
  20   This declaration was inherited from an object of type `I1`. Redeclare this member in `C` with a compatible signature.