hphp/hack/test/typecheck/constraints/generic_self_type_access_failure.php.exp

   1 File "generic_self_type_access_failure.php", line 18, characters 36-50:
   2 Some type constraint(s) here are violated (Typing[4110])
   3   File "generic_self_type_access_failure.php", line 11, characters 32-33:
   4   'TX' is a constrained type parameter
   5   File "generic_self_type_access_failure.php", line 18, characters 52-52:
   6   'T' is a constrained type parameter
   7   File "generic_self_type_access_failure.php", line 11, characters 38-40:
   8   This is an object of type Box
   9   File "generic_self_type_access_failure.php", line 18, characters 30-33:
  10   It is incompatible with an object of type Intf
  11 File "generic_self_type_access_failure.php", line 13, characters 13-13:
  12 Could not find type constant T in type Intf (Typing[4090])
  13   File "generic_self_type_access_failure.php", line 5, characters 11-14:
  14   Declaration of Intf is here
  15 File "generic_self_type_access_failure.php", line 20, characters 11-11:
  16 A 'where' type constraint is violated here (Typing[4090])
  17   File "generic_self_type_access_failure.php", line 12, characters 28-28:
  18   This method's where constraints contain a generic type access
  19   File "generic_self_type_access_failure.php", line 13, characters 13-13:
  20   Could not find type constant T in type Intf
  21   File "generic_self_type_access_failure.php", line 5, characters 11-14:
  22   Declaration of Intf is here