hphp/hack/test/typecheck/stricter_consts/conflict_3.bad.php.exp

   1 File "conflict_3.bad.php", line 12, characters 7-7:
   2 Constant X is defined concretely in multiple ancestors (Typing[4374])
   3   File "conflict_3.bad.php", line 4, characters 13-13:
   4   One conflicting definition is here
   5   File "conflict_3.bad.php", line 7, characters 13-13:
   6   Another conflicting definition is here
   7   File "conflict_3.bad.php", line 10, characters 13-13:
   8   Another conflicting definition is here
   9 File "conflict_3.bad.php", line 13, characters 7-8:
  10 Some members in class `C` are incompatible with those declared in type `T1` (Typing[4374])
  11   File "conflict_3.bad.php", line 10, characters 13-13:
  12   Non-abstract constants defined in an interface or trait cannot conflict with other inherited constants.
  13   File "conflict_3.bad.php", line 4, characters 13-13:
  14   `X` inherited from `T1`
  15   File "conflict_3.bad.php", line 10, characters 13-13:
  16   conflicts with constant `X` inherited from `T3`.
  17 File "conflict_3.bad.php", line 13, characters 11-12:
  18 Some members in class `C` are incompatible with those declared in type `T2` (Typing[4374])
  19   File "conflict_3.bad.php", line 10, characters 13-13:
  20   Non-abstract constants defined in an interface or trait cannot conflict with other inherited constants.
  21   File "conflict_3.bad.php", line 7, characters 13-13:
  22   `X` inherited from `T2`
  23   File "conflict_3.bad.php", line 10, characters 13-13:
  24   conflicts with constant `X` inherited from `T3`.